Browse by Author

Number of items: 2.

Rosa Velardo, Fernando and Martos Salgado, María Rosa and Frutos Escrig, David de (2011) Accelerations for the coverability set of Petri nets with names. Fundamenta informaticae, 113 (3-4). pp. 313-341. ISSN 0169-2968

Martos Salgado, María Rosa (2010) Towards verifying Petri Nets: a model cheking approach. Tesis Master's thesis.

This list was generated on Wed Jun 19 13:47:39 2013 CEST.

Export as	RSS 2.0 RSS 1.0 Atom