Universidad Complutense de Madrid
E-Prints Complutense

Consultar por Autor

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Número de eprints: 3.

Rosa Velardo, Fernando y Martos Salgado, María Rosa y 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. [Trabajo fin de Máster]

Martos Salgado, María Rosa (2016) Verificación de extensiones de Redes de Petri con precios, tiempo y múltiples instancias. [Tesis]

Esta lista fue generada el Tue Aug 22 13:30:05 2017 CEST.