Skip to content

Verification of Petri Nets with Read Arcs.

Csar Rodrguez, Stefan Schwoon

VenueBCONCUR
Year2012
ProceedingsCONCUR

Browse the full CONCUR paper archive.