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

Publiceret: 1997-03-01

Articles