Chapitre D'ouvrage
Année : 2009
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01298307
Soumis le : mardi 5 avril 2016-17:19:07
Dernière modification le : mardi 11 avril 2023-15:16:28
Citer
Béatrice Bérard. Timed Model Checking. Communicating Embedded Systems -- Software and Design, ISTE Publishing / John Wiley, 2009, 978-1-8482-1143-8. ⟨10.1002/9781118558188.ch2⟩. ⟨hal-01298307⟩
Collections
53
Consultations
0
Téléchargements