Skip to content

Syntactical Colored Petri Nets Reductions.

Sami Evangelista, Serge Haddad, Jean-Franois Pradat-Peyre

VenueBATVA
Year2005
ProceedingsATVA

Browse the full ATVA paper archive.