No. 519 (1997): PB-519 Model Checking Coloured Petri Nets - Exploiting Strongly Connected Components

Published: 1997-03-01

Articles