Coloured Petri Nets : Modelling and Validation of Concurrent Systems /

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Jensen, Kurt (autor)
Andre forfattere: Kristensen, Lars M. (autor) (autor)
Format: Bog
Sprog:engelsk
Udgivet: Berlín, Alemania : Springer, 2009, c2009
Fag:
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!