%0 Conference Paper %1 conf/cdc/ZutshiSDK13 %A Zutshi, Aditya %A Sankaranarayanan, Sriram %A Deshmukh, Jyotirmoy V. %A Kapinski, James %B CDC %D 2013 %I IEEE %K dblp %P 3918-3925 %T A trajectory splicing approach to concretizing counterexamples for hybrid systems. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2013.html#ZutshiSDK13 %@ 978-1-4673-5714-2

@inproceedings{conf/cdc/ZutshiSDK13, added-at = {2019-09-06T00:00:00.000+0200}, author = {Zutshi, Aditya and Sankaranarayanan, Sriram and Deshmukh, Jyotirmoy V. and Kapinski, James}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/29a00b87215ae6ab6155450c8d3f8f81a/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2013}, ee = {https://doi.org/10.1109/CDC.2013.6760488}, interhash = {903c40eab74c58d080c70f008666b45a}, intrahash = {9a00b87215ae6ab6155450c8d3f8f81a}, isbn = {978-1-4673-5714-2}, keywords = {dblp}, pages = {3918-3925}, publisher = {IEEE}, timestamp = {2019-09-27T19:25:54.000+0200}, title = {A trajectory splicing approach to concretizing counterexamples for hybrid systems.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2013.html#ZutshiSDK13}, year = 2013 }