%0 Conference Proceedings
%F BMS-formats11
%A Bouyer, Patricia
%A Markey, Nicolas
%A Sankur, Ocan
%T Robust Model-Checking of Timed Automata via Pumping in Channel Machines
%B {P}roceedings of the 9th {I}nternational {C}onference on {F}ormal {M}odelling and {A}nalysis of {T}imed {S}ystems ({FORMATS}'11)
%E Fahrenberg, Uli
%E Tripakis, Stavros
%V 	 6919
%P 97-112
%S Lecture Notes in Computer Science
%I Springer
%C Aalborg, Denmark
%U http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BMS-formats11.pdf
%U http://dx.doi.org/10.1007/978-3-642-24310-3_8
%8 September
%D 2011