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

Publiceret: 1997-04-01

Articles