Coloured Petri Nets Modelling and Validation of Concurrent Systems
Kurt. author. Jensen
Bok Engelsk 2009
| Utgitt | Berlin, Heidelberg : : Springer Berlin Heidelberg : , 2009.
|
|---|---|
| Utgave | 1st ed. 2009.
|
| Opplysninger | info:sid/primo.exlibrisgroup.com-proquest_askew
|
| Emner | |
| Dewey | |
| ISBN | 3-642-00283-8
|
