Modular model checking of software specifications with simultaneous environment generation

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

Ficheros en el ítem

Ficheros	Tamaño	Formato	Ver
No hay ficheros asociados a este ítem.