%0 Conference Paper %1 conf/cav/Heinz16 %A Heinz, Thomas %B NSV@CAV %D 2016 %E Bogomolov, Sergiy %E Martel, Matthieu %E Prabhakar, Pavithra %K dblp %P 78-84 %T Falsification of Dynamical Systems - An Industrial Perspective. %U http://dblp.uni-trier.de/db/conf/cav/nsv2016.html#Heinz16 %V 10152 %@ 978-3-319-54291-1

@inproceedings{conf/cav/Heinz16, added-at = {2018-01-10T00:00:00.000+0100}, author = {Heinz, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/243e481e2e1a3d2961cffeba704f1ac19/dblp}, booktitle = {NSV@CAV}, crossref = {conf/cav/2016nsv}, editor = {Bogomolov, Sergiy and Martel, Matthieu and Prabhakar, Pavithra}, ee = {https://doi.org/10.1007/978-3-319-54292-8_7}, interhash = {6bac72c1aa5f81e878c9c3476788b7a8}, intrahash = {43e481e2e1a3d2961cffeba704f1ac19}, isbn = {978-3-319-54291-1}, keywords = {dblp}, pages = {78-84}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:38:41.000+0200}, title = {Falsification of Dynamical Systems - An Industrial Perspective.}, url = {http://dblp.uni-trier.de/db/conf/cav/nsv2016.html#Heinz16}, volume = 10152, year = 2016 }