- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783540001997
3540001999
- Dimensions
-
24 cm
- Extent
-
IX, 343 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Bibliographic citation
-
Lecture notes in computer science ; 2549
- Keyword
-
Asynchrones Schaltwerk
Entwurfsautomation
Eingebettetes System
Systementwurf
Nebenläufigkeit
Petri-Netz
Entwurfsautomation
Formale Methode
Verifikation
Leistungsbewertung
- Event
-
Veröffentlichung
- (where)
-
Berlin, Heidelberg, New York, Hong Kong, London, Milan, Paris, Tokyo
- (who)
-
Springer
- (when)
-
2002
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:32 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Aufsatzsammlung
Associated
- Cortadella, Jordi
- Springer
Time of origin
- 2002
Other Objects (12)
Concurrency and nets : advances in Petri nets
Lectures on concurrency and Petri nets : advances in petri nets
On synchronicity and concurrency in Petri nets
Petri nets and other models of concurrency : proceedings
Unifying Petri nets : advances in Petri nets
Advances in Petri nets, 1987.
Advances in Petri nets, 1985
Transactions on Petri nets and other models of concurrency, 13
Transactions on Petri nets and other models of concurrency, 7
Transactions on Petri nets and other models of concurrency, 15
Transactions on Petri nets and other models of concurrency, 2
Transactions on Petri nets and other models of concurrency, 16
Concurrency and nets : advances in Petri nets
Lectures on concurrency and Petri nets : advances in petri nets
On synchronicity and concurrency in Petri nets
Petri nets and other models of concurrency : proceedings
Unifying Petri nets : advances in Petri nets
Advances in Petri nets, 1987.
Advances in Petri nets, 1985
Transactions on Petri nets and other models of concurrency, 13
Transactions on Petri nets and other models of concurrency, 7
Transactions on Petri nets and other models of concurrency, 15
Transactions on Petri nets and other models of concurrency, 2
Transactions on Petri nets and other models of concurrency, 16
Concurrency and nets : advances in Petri nets
Lectures on concurrency and Petri nets : advances in petri nets
On synchronicity and concurrency in Petri nets
Petri nets and other models of concurrency : proceedings
Unifying Petri nets : advances in Petri nets
Advances in Petri nets, 1987.
Advances in Petri nets, 1985
Transactions on Petri nets and other models of concurrency, 13
Transactions on Petri nets and other models of concurrency, 7
Transactions on Petri nets and other models of concurrency, 15
Transactions on Petri nets and other models of concurrency, 2