Entwurfsvalidation für verteilte Informationssysteme mit dem graphischen, mehrbenutzerfähigen Pr/T-Netz-Simulator GAPS+
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1995 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 246395 |
| Erscheinungsvermerk | In: Herausforderungen eines globalen Informationsverbundes für die Informatik. GISI 95. Hrsg.: F. Huber-Wäschle. Berlin 1995. S. 407-414. (Informatik aktuell.)(GI-Jahrestagung. 25.) |