Chapitre D'ouvrage
Année : 2008
Stephan Merz : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00187577
Soumis le : mercredi 14 novembre 2007-18:15:06
Dernière modification le : vendredi 24 mars 2023-14:52:49
Dates et versions
Identifiants
- HAL Id : inria-00187577 , version 1
Citer
Stephan Merz. An introduction to model checking. Stephan Merz and Nicolas Navet. Modeling and Verification of Real-Time Systems - Formalisms and Software Tools, ISTE Publishing, pp.81-116, 2008, 9781847040244. ⟨inria-00187577⟩
Collections
308
Consultations
0
Téléchargements