Book Sections
Year : 2006
Lip6 Publications : Connect in order to contact the contributor
https://hal.science/hal-01351790
Submitted on : Thursday, August 4, 2016-5:03:22 PM
Last modification on : Sunday, June 26, 2022-10:00:46 AM
Dates and versions
Identifiers
- HAL Id : hal-01351790 , version 1
Cite
Jean-Michel Ilié, Yann Thierry-Mieg, Souheib Baarir. Vérification efficace des systèmes finis. Méthodes Formelles pour les Systèmes Répartis et Coopératifs, Hermes-Lavoisier, pp.171-211, 2006, Traités IC2 - Informatique et systèmes d'information, 2-7462-1447-4. ⟨hal-01351790⟩
Collections
65
View
0
Download