Compositional model-checking verification of critical systems
- Mendoza, L.E.
- Capel, M.I.
- Pérez, M.
- Benghazi, K.
ISSN: 1865-1348
ISBN: 9783642006692
Année de publication: 2009
Volumen: 19
Pages: 213-225
Type: Article
Collection de livres:
Lecture Notes in Business Information Processing
