Book Sections
Year : 2006
Stephan Merz : Connect in order to contact the contributor
https://hal.inria.fr/inria-00081343
Submitted on : Thursday, June 22, 2006-5:58:17 PM
Last modification on : Friday, March 24, 2023-2:52:47 PM
Dates and versions
Identifiers
- HAL Id : inria-00081343 , version 1
Cite
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
57
View
0
Download