@inproceedings{ dblp2144586,
  title = {The system verification methodology for advanced TLM verification},
  author = {Marcio F. da S. Oliveira and Christoph Kuznik and Hoang M. Le and Daniel Große and Finn Haedicke and Wolfgang Müller 0003 and Rolf Drechsler and Wolfgang Ecker and Volkan Esen},
  author_short = {da S. Oliveira, M. F. and Kuznik, C. and Le, H. M. and Große, D. and Haedicke, F. and Müller 0003, W. and Drechsler, R. and Ecker, W. and Esen, V.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2144586},
  id = {dblp2144586},
  biburl = {http://www.dblp.org/rec/bibtex/conf/codes/OliveiraKLGH0DEE12},
  url = {http://doi.acm.org/10.1145/2380445.2380497},
  conference = {CODES+ISSS},
  pages = {313-322},
  text = {CODES+ISSS 2012:313-322},
  booktitle = {Proceedings of CODES+ISSS}
}

{"_id":"RdFMZPoNgGmLNefxL","bibbaseid":"dasoliveira-kuznik-le-groe-haedicke-mller0003-drechsler-ecker-esen-thesystemverificationmethodologyforadvancedtlmverification-2012","downloads":0,"creationDate":"2015-06-12T22:13:33.766Z","title":"The system verification methodology for advanced TLM verification","author_short":["da S. Oliveira, M. F.","Kuznik, C.","Le, H. M.","Große, D.","Haedicke, F.","Müller 0003, W.","Drechsler, R.","Ecker, W.","Esen, V."],"year":2012,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/codes/OliveiraKLGH0DEE12","bibdata":{"title":"The system verification methodology for advanced TLM verification","author":["Marcio F. da S. Oliveira","Christoph Kuznik","Hoang M. Le","Daniel Große","Finn Haedicke","Wolfgang Müller 0003","Rolf Drechsler","Wolfgang Ecker","Volkan Esen"],"author_short":["da S. Oliveira, M. F.","Kuznik, C.","Le, H. M.","Große, D.","Haedicke, F.","Müller 0003, W.","Drechsler, R.","Ecker, W.","Esen, V."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2144586","id":"dblp2144586","biburl":"http://www.dblp.org/rec/bibtex/conf/codes/OliveiraKLGH0DEE12","url":"http://doi.acm.org/10.1145/2380445.2380497","conference":"CODES+ISSS","pages":"313-322","text":"CODES+ISSS 2012:313-322","booktitle":"Proceedings of CODES+ISSS","bibtex":"@inproceedings{ dblp2144586,\n title = {The system verification methodology for advanced TLM verification},\n author = {Marcio F. da S. Oliveira and Christoph Kuznik and Hoang M. Le and Daniel Große and Finn Haedicke and Wolfgang Müller 0003 and Rolf Drechsler and Wolfgang Ecker and Volkan Esen},\n author_short = {da S. Oliveira, M. F. and Kuznik, C. and Le, H. M. and Große, D. and Haedicke, F. and Müller 0003, W. and Drechsler, R. and Ecker, W. and Esen, V.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2144586},\n id = {dblp2144586},\n biburl = {http://www.dblp.org/rec/bibtex/conf/codes/OliveiraKLGH0DEE12},\n url = {http://doi.acm.org/10.1145/2380445.2380497},\n conference = {CODES+ISSS},\n pages = {313-322},\n text = {CODES+ISSS 2012:313-322},\n booktitle = {Proceedings of CODES+ISSS}\n}","bibbaseid":"dasoliveira-kuznik-le-groe-haedicke-mller0003-drechsler-ecker-esen-thesystemverificationmethodologyforadvancedtlmverification-2012","role":"author","urls":{"Paper":"http://doi.acm.org/10.1145/2380445.2380497"},"downloads":0},"search_terms":["system","verification","methodology","advanced","tlm","verification","da s. oliveira","kuznik","le","große","haedicke","müller 0003","drechsler","ecker","esen"],"keywords":[],"authorIDs":[],"dataSources":["AQNHZenEv9K6zvYbG"]}