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
Publication dans des actes