Skip to content

External Behaviour Equivalence between two Petri Nets.

A. Bourguet-Rouger

VenueBCONCUR
Year1988
ProceedingsConcurrency

Browse the full CONCUR paper archive.