No. 554 (2001): PB-554 Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, August 29

Published: 2001-08-01