Titel |
Reachability in reversible free-choice systems / Jörg Desel ; Javier Esparza. TUM, Technische Universität München, Institut für Informatik, Sonderforschungsbereich 342: Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen |
|---|---|
Beteiligt |
Jörg Desel (Verfasser) |
Erschienen |
München: SFB 342 |
Umfang |
35 S. : graph. Darst. |
Themengebiet |
|
Reihe |
SFB-Bericht / Sonderforschungsbereich 342, Institut für Informatik, Technische Universität München. Reihe A ; Nr. 90,11 |
Datensatz-ID |
920791832 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: