Vol-3309⫷ Vol-3310 ⫸Vol-3311
urn:nbn:de:0074-3310-0


Vol-3310/paper6⫷Vol-3310/paper8⫸Vol-3310/paper9
Paolo FelliMarco MontaliSarah Winkler

Reasoning and Verification with Data Petri Nets