@article{ journals/corr/GhaziGUT14,
  added-at = {2014-09-12T00:00:00.000+0200},
  author = {Ghazi, Aboubakr Achraf El and Geilmann, Ulrich and Ulbrich, Mattias and Taghdiri, Mana},
  biburl = {http://www.bibsonomy.org/bibtex/251b5c5f7137b7e1fc4c64b258fdda611/dblp},
  ee = {http://arxiv.org/abs/1408.0707},
  interhash = {403fef87d349291fe0f64fccd61b28a2},
  intrahash = {51b5c5f7137b7e1fc4c64b258fdda611},
  journal = {CoRR},
  keywords = {dblp},
  title = {A Dual-Engine for Early Analysis of Critical Systems.},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1408.html#GhaziGUT14},
  volume = {abs/1408.0707},
  year = {2014}
}

{"_id":"fDjcQPjD2fFrEvcT5","bibbaseid":"ghazi-el-geilmann-ulbrich-taghdiri-adualengineforearlyanalysisofcriticalsystems-2014","downloads":0,"creationDate":"2015-05-18T23:27:44.972Z","title":"A Dual-Engine for Early Analysis of Critical Systems.","author_short":["Ghazi","El, A.<nbsp>A.","Geilmann, U.","Ulbrich, M.","Taghdiri, M."],"year":2014,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/aboubakr achraf el ghazi?items=1000","bibdata":{"added-at":"2014-09-12T00:00:00.000+0200","author":["Ghazi","El, Aboubakr Achraf","Geilmann, Ulrich","Ulbrich, Mattias","Taghdiri, Mana"],"author_short":["Ghazi","El, A.<nbsp>A.","Geilmann, U.","Ulbrich, M.","Taghdiri, M."],"bibtex":"@article{ journals/corr/GhaziGUT14,\n added-at = {2014-09-12T00:00:00.000+0200},\n author = {Ghazi, Aboubakr Achraf El and Geilmann, Ulrich and Ulbrich, Mattias and Taghdiri, Mana},\n biburl = {http://www.bibsonomy.org/bibtex/251b5c5f7137b7e1fc4c64b258fdda611/dblp},\n ee = {http://arxiv.org/abs/1408.0707},\n interhash = {403fef87d349291fe0f64fccd61b28a2},\n intrahash = {51b5c5f7137b7e1fc4c64b258fdda611},\n journal = {CoRR},\n keywords = {dblp},\n title = {A Dual-Engine for Early Analysis of Critical Systems.},\n url = {http://dblp.uni-trier.de/db/journals/corr/corr1408.html#GhaziGUT14},\n volume = {abs/1408.0707},\n year = {2014}\n}","bibtype":"article","biburl":"http://www.bibsonomy.org/bibtex/251b5c5f7137b7e1fc4c64b258fdda611/dblp","ee":"http://arxiv.org/abs/1408.0707","id":"journals/corr/GhaziGUT14","interhash":"403fef87d349291fe0f64fccd61b28a2","intrahash":"51b5c5f7137b7e1fc4c64b258fdda611","journal":"CoRR","key":"journals/corr/GhaziGUT14","keywords":"dblp","title":"A Dual-Engine for Early Analysis of Critical Systems.","type":"article","url":"http://dblp.uni-trier.de/db/journals/corr/corr1408.html#GhaziGUT14","volume":"abs/1408.0707","year":"2014","bibbaseid":"ghazi-el-geilmann-ulbrich-taghdiri-adualengineforearlyanalysisofcriticalsystems-2014","role":"author","urls":{"Link":"http://arxiv.org/abs/1408.0707","Paper":"http://dblp.uni-trier.de/db/journals/corr/corr1408.html#GhaziGUT14"},"keyword":["dblp"],"downloads":0},"search_terms":["dual","engine","early","analysis","critical","systems","ghazi","el","geilmann","ulbrich","taghdiri"],"keywords":["dblp"],"authorIDs":[],"dataSources":["CXToTPH3EsSmCdgzK"]}