Verificación de propiedades en Redes de Petri
Title | Verificación de propiedades en Redes de Petri |
Publication Type | Book Chapter |
Year of Publication | 2001 |
Authors | Colom, JM |
Editor | Valero, V |
Book Title | Sistemas Distribuidos: Modelos y Aplicaciones |
Pagination | 99-114 |
Publisher | Universidad de Castilla-La Mancha |
City | Albacete, España |
Other Numbers | D.L. AB-292-2001 |
Export |