A Dual-Engine for Early Analysis of Critical Systems. Achraf El Ghazi, A., Geilmann, U., Ulbrich, M., & Taghdiri, M. CoRR, 2014.
Paper bibtex @article{ dblp1653173,
title = {A Dual-Engine for Early Analysis of Critical Systems},
author = {Aboubakr Achraf El Ghazi and Ulrich Geilmann and Mattias Ulbrich and Mana Taghdiri},
author_short = {Achraf El Ghazi, A. and Geilmann, U. and Ulbrich, M. and Taghdiri, M.},
bibtype = {article},
type = {article},
year = {2014},
key = {dblp1653173},
id = {dblp1653173},
biburl = {http://www.dblp.org/rec/bibtex/journals/corr/GhaziGUT14},
url = {http://arxiv.org/abs/1408.0707},
journal = {CoRR},
volume = {abs/1408.0707},
text = {CoRR abs/1408.0707 (2014)}
}
Downloads: 0
{"_id":"L2TtskPZXfBGxtDd3","bibbaseid":"achrafelghazi-geilmann-ulbrich-taghdiri-adualengineforearlyanalysisofcriticalsystems-2014","downloads":0,"creationDate":"2015-05-18T22:31:58.066Z","title":"A Dual-Engine for Early Analysis of Critical Systems","author_short":["Achraf El Ghazi, A.","Geilmann, U.","Ulbrich, M.","Taghdiri, M."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/GhaziGUT14","bibdata":{"title":"A Dual-Engine for Early Analysis of Critical Systems","author":["Aboubakr Achraf El Ghazi","Ulrich Geilmann","Mattias Ulbrich","Mana Taghdiri"],"author_short":["Achraf El Ghazi, A.","Geilmann, U.","Ulbrich, M.","Taghdiri, M."],"bibtype":"article","type":"article","year":"2014","key":"dblp1653173","id":"dblp1653173","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/GhaziGUT14","url":"http://arxiv.org/abs/1408.0707","journal":"CoRR","volume":"abs/1408.0707","text":"CoRR abs/1408.0707 (2014)","bibtex":"@article{ dblp1653173,\n title = {A Dual-Engine for Early Analysis of Critical Systems},\n author = {Aboubakr Achraf El Ghazi and Ulrich Geilmann and Mattias Ulbrich and Mana Taghdiri},\n author_short = {Achraf El Ghazi, A. and Geilmann, U. and Ulbrich, M. and Taghdiri, M.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1653173},\n id = {dblp1653173},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/GhaziGUT14},\n url = {http://arxiv.org/abs/1408.0707},\n journal = {CoRR},\n volume = {abs/1408.0707},\n text = {CoRR abs/1408.0707 (2014)}\n}","bibbaseid":"achrafelghazi-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","achraf el ghazi","geilmann","ulbrich","taghdiri"],"keywords":[],"authorIDs":[],"dataSources":["M6edneKZhSLqCPQXJ"]}