Titel |
Refinement versus verification : compatibility of net invariants and stepwise development of high level Petri nets / J. Padberg, M. Gajewsky and C. Ermel. Technische Universität Berlin, Fachbereich 13, Informatik. [Hrsg.: Die Professoren des Fachbereichs Informatik der Technischen Universität Berlin] |
|---|---|
Beteiligt |
Julia Padberg (Verfasser) |
Erschienen |
Berlin: Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4 |
Umfang |
43 S. : graph. Darst. |
Sprache |
|
Themengebiet |
|
Reihe |
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin, Fachbereich 13, Informatik : Bericht ... ; Bericht-Nr. [19]97,22 |
Weitere Angaben |
Literaturverz. S. 40 - 43 |
Datensatz-ID |
953817113 |
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: