Coloured Petri Nets : modelling and validation of concurrent systems
Kurt Jensen, Lars M. Kristensen
Bok Engelsk 2009
Utgitt | Berlin : Springer , 2009
|
---|---|
Omfang | XI, 384 s. : ill.
|
Emner | |
Dewey | |
ISBN | 9783642002830
|
Utgitt | Berlin : Springer , 2009
|
---|---|
Omfang | XI, 384 s. : ill.
|
Emner | |
Dewey | |
ISBN | 9783642002830
|