No. 524 (1997): PB-524 Modular State Space Analysis of Coloured Petri Nets

Published: 1997-04-01

Articles