%0 Conference Paper %1 conf/emsoft/AlurKRS08 %A Alur, Rajeev %A Kanade, Aditya %A Ramesh, S. %A Shashidhar, K. C. %B EMSOFT %D 2008 %E de Alfaro, Luca %E Palsberg, Jens %I ACM %K dblp %P 89-98 %T Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2008.html#AlurKRS08 %@ 978-1-60558-468-3

@inproceedings{conf/emsoft/AlurKRS08, added-at = {2021-05-03T00:00:00.000+0200}, author = {Alur, Rajeev and Kanade, Aditya and Ramesh, S. and Shashidhar, K. C.}, biburl = {https://www.bibsonomy.org/bibtex/2218db5afb2d15620542ec16ff794867c/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2008}, editor = {de Alfaro, Luca and Palsberg, Jens}, ee = {https://doi.org/10.1145/1450058.1450071}, interhash = {952b343f9f1d15abb1c44adfae75d7ac}, intrahash = {218db5afb2d15620542ec16ff794867c}, isbn = {978-1-60558-468-3}, keywords = {dblp}, pages = {89-98}, publisher = {ACM}, timestamp = {2024-04-10T12:22:56.000+0200}, title = {Symbolic analysis for improving simulation coverage of Simulink/Stateflow models.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2008.html#AlurKRS08}, year = 2008 }