Modular model checking of software specifications with simultaneous environment generation
Autor(es) y otros:
Fecha de publicación:
2004
Editorial:
Springer
Citación:
Lecture Notes in Computer Science, 3299, p. 369-383 (2004)
Descripción física:
p. 369-383
ISSN:
Colecciones
- Artículos [36888]
Ficheros en el ítem
Compartir
