Coloured Petri Nets : Modelling and Validation of Concurrent Systems /

Gardado en:
Detalles Bibliográficos
Autor Principal: Jensen, Kurt (autor)
Outros autores: Kristensen, Lars M. (autor)
Formato: Libro
Idioma:inglés
Publicado: Berlín, Alemania : Springer, 2009, c2009
Temas:
Etiquetas: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares: Coloured Petri Nets :