Chapitre D'ouvrage
Année : 2006
Stephan Merz : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00081343
Soumis le : jeudi 22 juin 2006-17:58:17
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : inria-00081343 , version 1
Citer
Stephan Merz. Model checking : éléments de base. Nicolas Navet. Systèmes Temps Réel - techniques de description et de vérification, Hermes-Science Lavoisier, pp.89-120, 2006, 2-7462-1303-6. ⟨inria-00081343⟩
Collections
59
Consultations
0
Téléchargements