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 ...)