Repository
How to publish
Resources
FAQs

Modular model checking of software specifications with simultaneous environment generation

Author:
Riva Álvarez, Claudio A. de laUniovi authority; Tuya González, Pablo JavierUniovi authority
Publication date:
2004
Editorial:

Springer

Citación:
Lecture Notes in Computer Science, 3299, p. 369-383 (2004)
Descripción física:
p. 369-383
URI:
http://hdl.handle.net/10651/29859
ISSN:
0302-9743
Collections
Files in this item
Compartir
Estadísticas de uso
Estadísticas de uso
Metadata
Show full item record