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
;Markey, Nicolas NMRé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 |
