par Bouyer, Patricia;Brenguier, Romain ;Markey, Nicolas NM
Référence Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), Springer, Vol. 6246, page (62-76)
Publication Publié, 2010-09
Référence Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), Springer, Vol. 6246, page (62-76)
Publication Publié, 2010-09
Publication dans des actes
Titre: |
|
Auteur: | Bouyer, Patricia; Brenguier, Romain; Markey, Nicolas NM |
Informations sur la publication: | Proceedings of the 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'10), Springer, Vol. 6246, page (62-76) |
Statut de publication: | Publié, 2010-09 |
series: | Lecture Notes in Computer Science |
Sujet CREF: | Informatique générale |
Langue: | Anglais |
Identificateurs: | info:doi/10.1007/978-3-642-15297-9_7 |
http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BBM-formats10.pdf |