@techreport{ groz_verification_2013,
  address = {Grenoble, France},
  title = {Verification of {Modular} {Systems} with {Unknown} {Components} {Combining} {Testing} and {Inference}},
  number = {RR-LIG-028},
  institution = {LIG},
  author = {Groz, Roland and Li, Keqin and Petrenko, Alexandre},
  year = {2013},
  note = {00000}
}

{"_id":"AbYmPGeoQ24gePaZh","bibbaseid":"groz-li-petrenko-verificationofmodularsystemswithunknowncomponentscombiningtestingandinference-2013","downloads":0,"creationDate":"2015-04-22T00:15:35.956Z","title":"Verification of Modular Systems with Unknown Components Combining Testing and Inference","author_short":["Groz, R.","Li, K.","Petrenko, A."],"year":2013,"bibtype":"techreport","biburl":"http://bibbase.org/zotero/ealprr","bibdata":{"address":"Grenoble, France","author":["Groz, Roland","Li, Keqin","Petrenko, Alexandre"],"author_short":["Groz, R.","Li, K.","Petrenko, A."],"bibtex":"@techreport{ groz_verification_2013,\n address = {Grenoble, France},\n title = {Verification of {Modular} {Systems} with {Unknown} {Components} {Combining} {Testing} and {Inference}},\n number = {RR-LIG-028},\n institution = {LIG},\n author = {Groz, Roland and Li, Keqin and Petrenko, Alexandre},\n year = {2013},\n note = {00000}\n}","bibtype":"techreport","id":"groz_verification_2013","institution":"LIG","key":"groz_verification_2013","note":"00000","number":"RR-LIG-028","title":"Verification of Modular Systems with Unknown Components Combining Testing and Inference","type":"techreport","year":"2013","bibbaseid":"groz-li-petrenko-verificationofmodularsystemswithunknowncomponentscombiningtestingandinference-2013","role":"author","urls":{},"downloads":0},"search_terms":["verification","modular","systems","unknown","components","combining","testing","inference","groz","li","petrenko"],"keywords":[],"authorIDs":[],"dataSources":["fcy64Zdm28gydMmuE"]}