Artículos
-
Modular model checking of software specifications with simultaneous environment generation [2004]
- Categoría:
- Artículos
- Autores:
- Pablo Javier Tuya González , Claudio A. de la Riva Álvarez
- Fecha:
- 01 de Enero de 2004
- Es parte de:
- Lecture Notes in Computer Science, 3299