Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 3. 2006
Rensink, A. and Distefano, D.S.
(2006)
Abstract Graph Transformation.
In: Software Verification and Validation, 31 Oct 2005, Manchester.
pp. 39-59.
Electronic Notes in Theoretical Computer Science 157.
Elsevier.
ISSN 1571-0661
2003
Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H.
(2003)
A Trace Logic for Local Security Properties.
In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India.
pp. 129-143.
Electronic Notes in Theoretical Computer Science 118.
Elsevier.
ISSN 1571-0661
Gnesi, S. and Lenzini, G. and Martinelli, F.
(2003)
Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking.
In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India.
pp. 57-70.
Electronic Notes in Theoretical Computer Science 118.
Elsevier.
ISSN 1571-0661
This list was generated on Thu May 24 07:59:09 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||