@InProceedings{Ahrens1991,
  author    = {Klaus Ahrens and Joachim Fischer and Eckhardt Holz and Ina Kathrin Schieferdecker and G{\"u}nter Schwarze and Dorota Witaszek and Andreas Vogel},
  editor    = {Djamshid Tavangarian},
  title     = {Entwurf und Analyse von Spezifikationen verteilter Systeme},
  booktitle = {7. Symposium Simulationstechnik: Fortschritte in der Simulationstechnik, {ASIM} 1991, Hagen, Germany, September, 1991},
  pages     = {490--494},
  publisher = {Vieweg},
  type      = {gconference},
  year      = {1991}
}