Vol-2650⫷ Vol-2651 ⫸Vol-2652
urn:nbn:de:0074-2651-0


Vol-2651/paper11⫷Vol-2651/paper12⫸Vol-2651/paper13
Sven WillrodtDaniel MoldtMichael Simon

Modular Model Checking of Reference Nets: MoMoC