Modular model checking of software specifications with simultaneous environment generation
Publication date:
2004
Editorial:
Springer
Citación:
Lecture Notes in Computer Science, 3299, p. 369-383 (2004)
Descripción física:
p. 369-383
ISSN:
Collections
- Artículos [34664]