A Dual-Engine for Early Analysis of Critical Systems. Achraf El Ghazi, A., Geilmann, U., Ulbrich, M., & Taghdiri, M. CoRR, 2014.
A Dual-Engine for Early Analysis of Critical Systems [link]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