%0 Conference Paper %1 conf/hybrid/FrehseBGSP15 %A Frehse, Goran %A Bogomolov, Sergiy %A Greitschus, Marius %A Strump, Thomas %A Podelski, Andreas %B HSCC %D 2015 %E Girard, Antoine %E Sankaranarayanan, Sriram %I ACM %K dblp %P 149-158 %T Eliminating spurious transitions in reachability with support functions. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#FrehseBGSP15 %@ 978-1-4503-3433-4

@inproceedings{conf/hybrid/FrehseBGSP15, added-at = {2020-12-29T00:00:00.000+0100}, author = {Frehse, Goran and Bogomolov, Sergiy and Greitschus, Marius and Strump, Thomas and Podelski, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/2a3ecec7f0c17b2679adbea95bbe060b3/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2015}, editor = {Girard, Antoine and Sankaranarayanan, Sriram}, ee = {https://www.wikidata.org/entity/Q62037219}, interhash = {926e68ad192d10abba073e435efdc0bf}, intrahash = {a3ecec7f0c17b2679adbea95bbe060b3}, isbn = {978-1-4503-3433-4}, keywords = {dblp}, pages = {149-158}, publisher = {ACM}, timestamp = {2024-04-10T10:15:40.000+0200}, title = {Eliminating spurious transitions in reachability with support functions.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#FrehseBGSP15}, year = 2015 }