The linear time branching time spectrum ; Contract TUM-INFO-07-90-I25-530-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)
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 9025 SFB Bericht. Sonderforschungsbereich 342, Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen. Institut für Informatik. Technische Universität München 90,13
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!