@article{journals/sttt/HowarIMSBP14,
  added-at = {2014-12-11T00:00:00.000+0100},
  author = {Howar, Falk and Isberner, Malte and Merten, Maik and Steffen, Bernhard and Beyer, Dirk and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/2ed084fb7e230dfa02bf6b9aff8fb9c84/dblp},
  ee = {http://dx.doi.org/10.1007/s10009-014-0337-y},
  interhash = {1b38a7d9fd665be938adfaf09e450e4a},
  intrahash = {ed084fb7e230dfa02bf6b9aff8fb9c84},
  journal = {STTT},
  keywords = {dblp},
  number = 5,
  pages = {457-464},
  timestamp = {2015-06-18T05:40:43.000+0200},
  title = {Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.},
  url = {http://dblp.uni-trier.de/db/journals/sttt/sttt16.html#HowarIMSBP14},
  volume = 16,
  year = 2014
}

{"_id":"ojxNvZAPqeMkmBG4b","bibbaseid":"howar-isberner-merten-steffen-beyer-pasareanu-rigorousexaminationofreactivesystemsthererschallenges2012and2013-2014","authorIDs":[],"author_short":["Howar, F.","Isberner, M.","Merten, M.","Steffen, B.","Beyer, D.","Pasareanu, C. S."],"bibdata":{"bibtype":"article","type":"article","added-at":"2014-12-11T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Howar"],"firstnames":["Falk"],"suffixes":[]},{"propositions":[],"lastnames":["Isberner"],"firstnames":["Malte"],"suffixes":[]},{"propositions":[],"lastnames":["Merten"],"firstnames":["Maik"],"suffixes":[]},{"propositions":[],"lastnames":["Steffen"],"firstnames":["Bernhard"],"suffixes":[]},{"propositions":[],"lastnames":["Beyer"],"firstnames":["Dirk"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2ed084fb7e230dfa02bf6b9aff8fb9c84/dblp","ee":"http://dx.doi.org/10.1007/s10009-014-0337-y","interhash":"1b38a7d9fd665be938adfaf09e450e4a","intrahash":"ed084fb7e230dfa02bf6b9aff8fb9c84","journal":"STTT","keywords":"dblp","number":"5","pages":"457-464","timestamp":"2015-06-18T05:40:43.000+0200","title":"Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.","url":"http://dblp.uni-trier.de/db/journals/sttt/sttt16.html#HowarIMSBP14","volume":"16","year":"2014","bibtex":"@article{journals/sttt/HowarIMSBP14,\n added-at = {2014-12-11T00:00:00.000+0100},\n author = {Howar, Falk and Isberner, Malte and Merten, Maik and Steffen, Bernhard and Beyer, Dirk and Pasareanu, Corina S.},\n biburl = {https://www.bibsonomy.org/bibtex/2ed084fb7e230dfa02bf6b9aff8fb9c84/dblp},\n ee = {http://dx.doi.org/10.1007/s10009-014-0337-y},\n interhash = {1b38a7d9fd665be938adfaf09e450e4a},\n intrahash = {ed084fb7e230dfa02bf6b9aff8fb9c84},\n journal = {STTT},\n keywords = {dblp},\n number = 5,\n pages = {457-464},\n timestamp = {2015-06-18T05:40:43.000+0200},\n title = {Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.},\n url = {http://dblp.uni-trier.de/db/journals/sttt/sttt16.html#HowarIMSBP14},\n volume = 16,\n year = 2014\n}\n\n","author_short":["Howar, F.","Isberner, M.","Merten, M.","Steffen, B.","Beyer, D.","Pasareanu, C. S."],"key":"journals/sttt/HowarIMSBP14","id":"journals/sttt/HowarIMSBP14","bibbaseid":"howar-isberner-merten-steffen-beyer-pasareanu-rigorousexaminationofreactivesystemsthererschallenges2012and2013-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/s10009-014-0337-y","Paper":"http://dblp.uni-trier.de/db/journals/sttt/sttt16.html#HowarIMSBP14"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.558Z","downloads":0,"keywords":["dblp"],"search_terms":["rigorous","examination","reactive","systems","rers","challenges","2012","2013","howar","isberner","merten","steffen","beyer","pasareanu"],"title":"Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.","year":2014,"dataSources":["nk4Sfi2ddzBtdLpRN"]}