@inproceedings{ groz_modular_2008,
  series = {Lecture {Notes} in {Computer} {Science}},
  title = {Modular {System} {Verification} by {Inference}, {Testing} and {Reachability} {Analysis}},
  volume = {5047},
  isbn = {978-3-540-68514-2},
  booktitle = {Testing of {Software} and {Communicating} {Systems}, 20th {IFIP} {TC} 6/{WG} 6.1 {International} {Conference}, {TestCom} 2008, 8th {International} {Workshop}, {FATES} 2008, {Tokyo}, {Japan}, {June} 10-13, 2008},
  publisher = {Springer},
  author = {Groz, Roland and Li, Keqin and Petrenko, Alexandre and Shahbaz, Muzammil},
  editor = {Suzuki, Kenji and Higashino, Teruo and Ulrich, Andreas and Hasegawa, Toru},
  year = {2008},
  note = {00025},
  pages = {216--233}
}

{"_id":"zqFANruDgx7Bb2ECh","bibbaseid":"groz-li-petrenko-shahbaz-modularsystemverificationbyinferencetestingandreachabilityanalysis-2008","downloads":0,"creationDate":"2015-04-22T00:15:36.160Z","title":"Modular System Verification by Inference, Testing and Reachability Analysis","author_short":["Groz, R.","Li, K.","Petrenko, A.","Shahbaz, M."],"year":2008,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","bibdata":{"author":["Groz, Roland","Li, Keqin","Petrenko, Alexandre","Shahbaz, Muzammil"],"author_short":["Groz, R.","Li, K.","Petrenko, A.","Shahbaz, M."],"bibtex":"@inproceedings{ groz_modular_2008,\n series = {Lecture {Notes} in {Computer} {Science}},\n title = {Modular {System} {Verification} by {Inference}, {Testing} and {Reachability} {Analysis}},\n volume = {5047},\n isbn = {978-3-540-68514-2},\n booktitle = {Testing of {Software} and {Communicating} {Systems}, 20th {IFIP} {TC} 6/{WG} 6.1 {International} {Conference}, {TestCom} 2008, 8th {International} {Workshop}, {FATES} 2008, {Tokyo}, {Japan}, {June} 10-13, 2008},\n publisher = {Springer},\n author = {Groz, Roland and Li, Keqin and Petrenko, Alexandre and Shahbaz, Muzammil},\n editor = {Suzuki, Kenji and Higashino, Teruo and Ulrich, Andreas and Hasegawa, Toru},\n year = {2008},\n note = {00025},\n pages = {216--233}\n}","bibtype":"inproceedings","booktitle":"Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008","editor":["Suzuki, Kenji","Higashino, Teruo","Ulrich, Andreas","Hasegawa, Toru"],"editor_short":["Suzuki, K.","Higashino, T.","Ulrich, A.","Hasegawa, T."],"id":"groz_modular_2008","isbn":"978-3-540-68514-2","key":"groz_modular_2008","note":"00025","pages":"216--233","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Modular System Verification by Inference, Testing and Reachability Analysis","type":"inproceedings","volume":"5047","year":"2008","bibbaseid":"groz-li-petrenko-shahbaz-modularsystemverificationbyinferencetestingandreachabilityanalysis-2008","role":"author","urls":{},"downloads":0},"search_terms":["modular","system","verification","inference","testing","reachability","analysis","groz","li","petrenko","shahbaz"],"keywords":[],"authorIDs":[],"dataSources":["fcy64Zdm28gydMmuE"]}