Skip to content

Property specification for coloured Petri nets.

Ella E. Roubtsova

VenueBSMC
Year2004
ProceedingsSMC (3)

Browse the full SMC paper archive.