For the most recent entries see the
Petri Nets Newsletter.
Finite and Infinite Model Checking of Dual Transition Petri Net Models.
Varea, Mauricio;
Al-Hashimi, Bashir;
Leuschel, Michael
In:
Proceedings of the Second Workshop on Automated Verification of Critical Systems (AVoCS 2002), Technical Report CSR-02-6, School of Computer Science, the University of Birmingham.
2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography