Mauricio Varea, Bashir M. Al-Hashimi, Luis Alejandro Cortés, Petru Eles, Zebo Peng. Symbolic model checking of Dual Transition Petri Nets. In Jörg Henkel, Xiaobo Sharon Hu, Rajesh Gupta, Sri Parameswaran, editors, Proceedings of the Tenth International Symposium on Hardware/Software Codesign, CODES 2002, Estes Park, Colorado, USA, May 6-8, 2002. pages 43-48, ACM, 2002. [doi]