Vol-3641⫷ Vol-3642 ⫸Vol-3643
urn:nbn:de:0074-3642-0


Vol-3642/paper1⫷Vol-3642/paper2⫸Vol-3642/paper3

Runtime verification of distributed algorithms using high-level Petri nets