Modular specification of process algebras Contract TUM-INFO-12-90-I51-540-1-FMI

Bibliographische Detailangaben

1. Verfasser:	Glabbeek, Rob J. van (VerfasserIn)
Körperschaften:	Mathematisches Institut und Institut für Informatik, Technische Universität München (BerichterstatterIn), Sonderforschungsbereich 342 Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen, Technische Universität München (BerichterstatterIn)
Weitere Verfasser:	Vaandrager, Frits (VerfasserIn)
Format:	UnknownFormat
Veröffentlicht:	München Bibliothek der Fakultät für Mathematik und Informatik, Technische Universität München 1990
Schriftenreihe:	Institut für Informatik, Technische Universität München 9051 SFB Bericht. Sonderforschungsbereich 342, Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen. Institut für Informatik. Technische Universität München 90,28
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!