%0 Conference Paper %1 conf/cpsweek/ZhangEHS18 %A Zhang, Zhenya %A Ernst, Gidon %A Hasuo, Ichiro %A Sedwards, Sean %B MT@CPSWeek %D 2018 %I IEEE %K dblp %P 3-4 %T Time-Staging Enhancement of Hybrid System Falsification. %U http://dblp.uni-trier.de/db/conf/cpsweek/mt2018.html#ZhangEHS18 %@ 978-1-5386-6748-4

@inproceedings{conf/cpsweek/ZhangEHS18, added-at = {2024-02-05T00:00:00.000+0100}, author = {Zhang, Zhenya and Ernst, Gidon and Hasuo, Ichiro and Sedwards, Sean}, biburl = {https://www.bibsonomy.org/bibtex/2d105d60e11367c7013280874d81a27ce/dblp}, booktitle = {MT@CPSWeek}, crossref = {conf/cpsweek/2018mt}, ee = {https://doi.ieeecomputersociety.org/10.1109/MT-CPS.2018.00008}, interhash = {cdc95138895fc33c1bd51cfe0fdf4aa7}, intrahash = {d105d60e11367c7013280874d81a27ce}, isbn = {978-1-5386-6748-4}, keywords = {dblp}, pages = {3-4}, publisher = {IEEE}, timestamp = {2024-04-10T20:44:04.000+0200}, title = {Time-Staging Enhancement of Hybrid System Falsification.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/mt2018.html#ZhangEHS18}, year = 2018 }