Verificación de propiedades en Redes de Petri

TitleVerificación de propiedades en Redes de Petri
Publication TypeBook Chapter
Year of Publication2001
AuthorsColom, JM
EditorValero, V
Book TitleSistemas Distribuidos: Modelos y Aplicaciones
Pagination99-114
PublisherUniversidad de Castilla-La Mancha
CityAlbacete, España
Other NumbersD.L. AB-292-2001
Export