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
|