%0 Conference Proceedings
%F OS-cav13
%A Sankur, Ocan
%T Shrinktech: A Tool for the Robustness Analysis of Timed Automata
%B {P}roceedings of the 23th {I}nternational {C}onference on {C}omputer {A}ided {V}erification ({CAV}'13)
%E Sharygina, Natasha
%E Veith, Helmut
%V 	 8044
%P 1006-1012
%S Lecture Notes in Computer Science
%I Springer
%C Saint Petersburg, Russia
%U http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/OS-cav13.pdf
%8 July
%D 2013