Search Results
Showing 1 - 6 results of 6 for search '"model checking"', query time: 0.08s Refine ResultsPlease enable Javascript.
Please upgrade your browser.
Search Tools:
Get RSS Feed
Narrow Search
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
2
IFIP Open Digital Library (International Federation for Information Processing)
1
INSA Rennes HAL (Institut National des Sciences Appliquées)
1
Université de Nantes: HAL-UNIV-NANTES
1
Université de Rennes 1: Publications scientifiques (HAL)
1
see all ...