For the most recent entries see the
Petri Nets Newsletter.
Symbolic Model Checking of Dual Transition Petri Nets.
Varea, Mauricio;
Cortes, Luis Alejandro;
Al-Hashimi, Bashir;
Eles, Petru;
Peng, Zebo
In:
Software Codesign (CODES 2002), Estes Park, Colorado, USA: 10th International Symposium on Hardware.
May 2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography