@inproceedings{ dblp2940165,
  title = {Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models},
  author = {Aditya Kanade and Rajeev Alur and Franjo Ivancic and S. Ramesh and Sriram Sankaranarayanan and K. C. Shashidhar},
  author_short = {Kanade, A. and Alur, R. and Ivancic, F. and Ramesh, S. and Sankaranarayanan, S. and Shashidhar, K. C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2009},
  key = {dblp2940165},
  id = {dblp2940165},
  biburl = {http://www.dblp.org/rec/bibtex/conf/cav/KanadeAIRSS09},
  url = {http://dx.doi.org/10.1007/978-3-642-02658-4_33},
  conference = {CAV},
  pages = {430-445},
  text = {CAV 2009:430-445},
  booktitle = {Proceedings of Computer Aided Verification (CAV)}
}

{"_id":"MSgYafk8doD3nRqLG","bibbaseid":"kanade-alur-ivancic-ramesh-sankaranarayanan-shashidhar-generatingandanalyzingsymbolictracesofsimulinkstateflowmodels-2009","downloads":0,"creationDate":"2015-10-19T18:43:42.378Z","title":"Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models","author_short":["Kanade, A.","Alur, R.","Ivancic, F.","Ramesh, S.","Sankaranarayanan, S.","Shashidhar, K. C."],"year":2009,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/KanadeAIRSS09","bibdata":{"title":"Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models","author":["Aditya Kanade","Rajeev Alur","Franjo Ivancic","S. Ramesh","Sriram Sankaranarayanan","K. C. Shashidhar"],"author_short":["Kanade, A.","Alur, R.","Ivancic, F.","Ramesh, S.","Sankaranarayanan, S.","Shashidhar, K. C."],"bibtype":"inproceedings","type":"inproceedings","year":"2009","key":"dblp2940165","id":"dblp2940165","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/KanadeAIRSS09","url":"http://dx.doi.org/10.1007/978-3-642-02658-4_33","conference":"CAV","pages":"430-445","text":"CAV 2009:430-445","booktitle":"Proceedings of Computer Aided Verification (CAV)","bibtex":"@inproceedings{ dblp2940165,\n title = {Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models},\n author = {Aditya Kanade and Rajeev Alur and Franjo Ivancic and S. Ramesh and Sriram Sankaranarayanan and K. C. Shashidhar},\n author_short = {Kanade, A. and Alur, R. and Ivancic, F. and Ramesh, S. and Sankaranarayanan, S. and Shashidhar, K. C.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2009},\n key = {dblp2940165},\n id = {dblp2940165},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cav/KanadeAIRSS09},\n url = {http://dx.doi.org/10.1007/978-3-642-02658-4_33},\n conference = {CAV},\n pages = {430-445},\n text = {CAV 2009:430-445},\n booktitle = {Proceedings of Computer Aided Verification (CAV)}\n}","bibbaseid":"kanade-alur-ivancic-ramesh-sankaranarayanan-shashidhar-generatingandanalyzingsymbolictracesofsimulinkstateflowmodels-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-02658-4_33"},"downloads":0},"search_terms":["generating","analyzing","symbolic","traces","simulink","stateflow","models","kanade","alur","ivancic","ramesh","sankaranarayanan","shashidhar"],"keywords":[],"authorIDs":[],"dataSources":["LsaFAZ5gpYb2rxJ6s"]}