- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
33 Bl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Literaturverz. Bl. 28 - 30
- Erschienen in
-
Forschungsberichte des Fachbereiches Informatik / Technische Universität Berlin ; Bericht-Nr. 2000,12
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
- (wann)
-
2000
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.03.2025, 11:56 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Gajewsky, Maike
- Parisi-Presicce, Francesco
- Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
Entstanden
- 2000
Ähnliche Objekte (12)
Workshop on Formal Languages, Automata and Petri Nets
Unifying Petri nets : advances in Petri nets
Symmetrie of Petri nets
Application of petri nets to communication networks : advances in petri nets
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
Analysis and formal verification of SDL'92 specifications using extended Petri nets
Observation Petri Nets
Equivalences of coloured Petri nets
Concurrency and nets : advances in Petri nets
Lectures on concurrency and Petri nets : advances in petri nets
Concurrent object oriented programming and Petri nets : advances in Petri nets
Algebraic high level nets and transformations with initial markings
Workshop on Formal Languages, Automata and Petri Nets
Unifying Petri nets : advances in Petri nets
Symmetrie of Petri nets
Application of petri nets to communication networks : advances in petri nets
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
Analysis and formal verification of SDL'92 specifications using extended Petri nets
Observation Petri Nets
Equivalences of coloured Petri nets
Concurrency and nets : advances in Petri nets
Lectures on concurrency and Petri nets : advances in petri nets
Concurrent object oriented programming and Petri nets : advances in Petri nets
Algebraic high level nets and transformations with initial markings
Workshop on Formal Languages, Automata and Petri Nets
Unifying Petri nets : advances in Petri nets
Symmetrie of Petri nets
Application of petri nets to communication networks : advances in petri nets
Analysis and formal Verification of SDL'92 Specifications using Extended Petri Nets
Analysis and formal verification of SDL'92 specifications using extended Petri nets
Observation Petri Nets
Equivalences of coloured Petri nets
Concurrency and nets : advances in Petri nets
Lectures on concurrency and Petri nets : advances in petri nets
Concurrent object oriented programming and Petri nets : advances in Petri nets