%0 Conference Paper %1 conf/vmcai/HenzingerOS16 %A Henzinger, Thomas A. %A Otop, Jan %A Samanta, Roopsha %B VMCAI %D 2016 %E Jobstmann, Barbara %E Leino, K. Rustan M. %I Springer %K dblp %P 250-267 %T Lipschitz Robustness of Timed I/O Systems. %U http://dblp.uni-trier.de/db/conf/vmcai/vmcai2016.html#HenzingerOS16 %V 9583 %@ 978-3-662-49121-8

@inproceedings{conf/vmcai/HenzingerOS16, added-at = {2019-09-16T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Otop, Jan and Samanta, Roopsha}, biburl = {https://www.bibsonomy.org/bibtex/2d1b80b7d48692afc267011ce1762256d/dblp}, booktitle = {VMCAI}, crossref = {conf/vmcai/2016}, editor = {Jobstmann, Barbara and Leino, K. Rustan M.}, ee = {https://doi.org/10.1007/978-3-662-49122-5_12}, interhash = {ad5571192c39eb54c7d70a946897e415}, intrahash = {d1b80b7d48692afc267011ce1762256d}, isbn = {978-3-662-49121-8}, keywords = {dblp}, pages = {250-267}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T13:31:59.000+0200}, title = {Lipschitz Robustness of Timed I/O Systems.}, url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2016.html#HenzingerOS16}, volume = 9583, year = 2016 }