@inproceedings{ elghazi:AlloyPF,
  author = {Aboubakr Achraf {El Ghazi} and
               Ulrich Geilmann and
               Mattias Ulbrich and
               Mana Taghdiri},
  title = {A Dual-Engine for Early Analysis of Critical Systems},
  booktitle = {1st Workshop on Dependable Software for Critical Infrastructures (DSCI)},
  year = {2014},
  url = {http://arxiv.org/abs/1408.0707},
  urn = {urn:nbn:de:swb:90-422258}
}

{"_id":"jSe9S5ncZfxM4a9tC","bibbaseid":"elghazi-geilmann-ulbrich-taghdiri-adualengineforearlyanalysisofcriticalsystems-2014","downloads":0,"creationDate":"2015-05-18T23:34:51.946Z","title":"A Dual-Engine for Early Analysis of Critical Systems","author_short":["El Ghazi, A.<nbsp>A.","Geilmann, U.","Ulbrich, M.","Taghdiri, M."],"year":2014,"bibtype":"inproceedings","biburl":"http://i12www.ira.uka.de/~elghazi/bibTex/myBibTex.bib","bibdata":{"author":["El Ghazi, Aboubakr Achraf","Geilmann, Ulrich","Ulbrich, Mattias","Taghdiri, Mana"],"author_short":["El Ghazi, A.<nbsp>A.","Geilmann, U.","Ulbrich, M.","Taghdiri, M."],"bibtex":"@inproceedings{ elghazi:AlloyPF,\n author = {Aboubakr Achraf {El Ghazi} and\n Ulrich Geilmann and\n Mattias Ulbrich and\n Mana Taghdiri},\n title = {A Dual-Engine for Early Analysis of Critical Systems},\n booktitle = {1st Workshop on Dependable Software for Critical Infrastructures (DSCI)},\n year = {2014},\n url = {http://arxiv.org/abs/1408.0707},\n urn = {urn:nbn:de:swb:90-422258}\n}","bibtype":"inproceedings","booktitle":"1st Workshop on Dependable Software for Critical Infrastructures (DSCI)","id":"elghazi:AlloyPF","key":"elghazi:AlloyPF","title":"A Dual-Engine for Early Analysis of Critical Systems","type":"inproceedings","url":"http://arxiv.org/abs/1408.0707","urn":"urn:nbn:de:swb:90-422258","year":"2014","bibbaseid":"elghazi-geilmann-ulbrich-taghdiri-adualengineforearlyanalysisofcriticalsystems-2014","role":"author","urls":{"Paper":"http://arxiv.org/abs/1408.0707"},"downloads":0},"search_terms":["dual","engine","early","analysis","critical","systems","el ghazi","geilmann","ulbrich","taghdiri"],"keywords":[],"authorIDs":[],"dataSources":["g7Dos7KHkwhXDJ8rg"]}