@inproceedings{ dblp3597848,
  title = {Model-Driven Development with the jABC},
  author = {Bernhard Steffen and Tiziana Margaria and Ralf Nagel and Sven Jörges and Christian Kubczak},
  author_short = {Steffen, B. and Margaria, T. and Nagel, R. and Jörges, S. and Kubczak, C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2006},
  key = {dblp3597848},
  id = {dblp3597848},
  biburl = {http://www.dblp.org/rec/bibtex/conf/hvc/SteffenMNJK06},
  url = {http://dx.doi.org/10.1007/978-3-540-70889-6_7},
  conference = {Haifa Verification Conference},
  pages = {92-108},
  text = {Haifa Verification Conference 2006:92-108},
  booktitle = {Proceedings of Haifa Verification Conference}
}

{"_id":"9mAcauN8WPATddJpM","bibbaseid":"steffen-margaria-nagel-jrges-kubczak-modeldrivendevelopmentwiththejabc-2006","downloads":0,"creationDate":"2015-12-04T23:16:19.361Z","title":"Model-Driven Development with the jABC","author_short":["Steffen, B.","Margaria, T.","Nagel, R.","Jörges, S.","Kubczak, C."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/hvc/SteffenMNJK06","bibdata":{"title":"Model-Driven Development with the jABC","author":["Bernhard Steffen","Tiziana Margaria","Ralf Nagel","Sven Jörges","Christian Kubczak"],"author_short":["Steffen, B.","Margaria, T.","Nagel, R.","Jörges, S.","Kubczak, C."],"bibtype":"inproceedings","type":"inproceedings","year":"2006","key":"dblp3597848","id":"dblp3597848","biburl":"http://www.dblp.org/rec/bibtex/conf/hvc/SteffenMNJK06","url":"http://dx.doi.org/10.1007/978-3-540-70889-6_7","conference":"Haifa Verification Conference","pages":"92-108","text":"Haifa Verification Conference 2006:92-108","booktitle":"Proceedings of Haifa Verification Conference","bibtex":"@inproceedings{ dblp3597848,\n title = {Model-Driven Development with the jABC},\n author = {Bernhard Steffen and Tiziana Margaria and Ralf Nagel and Sven Jörges and Christian Kubczak},\n author_short = {Steffen, B. and Margaria, T. and Nagel, R. and Jörges, S. and Kubczak, C.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2006},\n key = {dblp3597848},\n id = {dblp3597848},\n biburl = {http://www.dblp.org/rec/bibtex/conf/hvc/SteffenMNJK06},\n url = {http://dx.doi.org/10.1007/978-3-540-70889-6_7},\n conference = {Haifa Verification Conference},\n pages = {92-108},\n text = {Haifa Verification Conference 2006:92-108},\n booktitle = {Proceedings of Haifa Verification Conference}\n}","bibbaseid":"steffen-margaria-nagel-jrges-kubczak-modeldrivendevelopmentwiththejabc-2006","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-70889-6_7"},"downloads":0},"search_terms":["model","driven","development","jabc","steffen","margaria","nagel","jörges","kubczak"],"keywords":[],"authorIDs":[],"dataSources":["6omS4qv47wndercsn"]}