Search Results
-
Modular model checking of software specifications with simultaneous environment generation [2004]
- Category:
- Artículos
- Authors:
- Pablo Javier Tuya González , Claudio A. de la Riva Álvarez
- Date:
- 01 of January of 2004
- It Is a Part of:
- Lecture Notes in Computer Science, 3299