 |
Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
 |
Die bibliographische Datenbank LEABib
Suchen •
Liste der Journale •
Liste der Serien •
Liste der Konferenzen •
Ausgewählte Publikationen 
|
Hilfe 
|
 |
|
| Suche: Author="Berthelot, G{\'{e}}rard" |
|
Occurrence graphs for interval timed coloured nets
Gérard Berthelot, Hanifa Boucheneb
Proceedings of the 15th International Conference. Application and Theory of Petri Nets 1994 (Zaragoza, Spain, June 20-24, 1994)
Lecture Notes in Computer Science
815
, 1994, pp. 79-98
| Editors | Robert Valette | |
| Publisher: | Springer-Verlag | |
| Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest | |
| Keywords: | interval timed coloured Petri nets, occurrence graph | |
|
|
|
|