Coloured Petri Nets electronic resource : Modelling and Validation of Concurrent Systems / by Kurt Jensen, Lars M. Kristensen

Författare
Kurt. author. Jensen
Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat