aSPIN: implementing model checking wih data abstraction

• Autores: Ernesto Pimentel Sánchez, María del Mar Gallardo Melgarejo, Pedro Merino Gómez, Jesús Martínez Cruz
• Localización: Concurrencia y sistemas distribuidos: actas de las XI Jornadas de Concurrencia / coord. por Miguel Pérez Francisco, Pablo Boronat Pérez, 2003, ISBN 84-8021-434-1, págs. 193-206
• Idioma: inglés
• Texto completo no disponible (Saber más ...)