| dc.contributor.author | Riva Álvarez, Claudio A. de la | |
| dc.contributor.author | Tuya González, Pablo Javier | |
| dc.date.accessioned | 2015-02-24T09:41:18Z | |
| dc.date.available | 2015-02-24T09:41:18Z | |
| dc.date.issued | 2004 | |
| dc.identifier.citation | Lecture Notes in Computer Science, 3299, p. 369-383 (2004) | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.uri | http://hdl.handle.net/10651/29859 | |
| dc.format.extent | p. 369-383 | spa |
| dc.language.iso | eng | spa |
| dc.publisher | Springer | |
| dc.relation.ispartof | Lecture Notes in Computer Science, 3299 | spa |
| dc.title | Modular model checking of software specifications with simultaneous environment generation | spa |
| dc.type | journal article | |
