Skip to main content
Toggle navigation
Home
Members
Publications
Research
Projects
Advised PhD
Research lines
Resources
Contact
Publications
Export results:
BibTeX
Type
[
Year
]
Filters:
Author
is
Tuya, Javier
[Clear All Filters]
1995
Using a symbolic model checker for verify safety properties in SA/RT models
,
Tuya, Javier
,
Sánchez Luciano
, and
Corrales Jose A.
, Software Engineering –- ESEC '95, Berlin, Heidelberg, p.59–75, (1995)
Google Scholar
BibTeX