Coloured Petri Nets : Modelling and Validation of Concurrent Systems /

Salvato in:
Dettagli Bibliografici
Autore principale: Jensen, Kurt (autor)
Altri autori: Kristensen, Lars M. (autor) (autor)
Natura: Libro
Lingua:inglese
Pubblicazione: Berlín, Alemania : Springer, 2009, c2009
Soggetti:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!