Book Sections
Year : 2008
Lip6 Publications : Connect in order to contact the contributor
https://hal.science/hal-01299143
Submitted on : Thursday, April 7, 2016-11:39:23 AM
Last modification on : Tuesday, April 11, 2023-3:16:28 PM
Dates and versions
Identifiers
- HAL Id : hal-01299143 , version 1
Cite
Béatrice Bérard. Model checking temporisé. Approches formelles des systèmes embarqués communicants, Hermes/Lavoisier, pp.75-103, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1942-7. ⟨hal-01299143⟩
Collections
73
View
0
Download