@inproceedings{ dblp4365335,
  title = {Backtracking-Free Design Planning by Automatic Synthesis in METAFrame},
  author = {Tiziana Margaria and Bernhard Steffen},
  author_short = {Margaria, T. and Steffen, B.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1998},
  key = {dblp4365335},
  id = {dblp4365335},
  biburl = {http://www.dblp.org/rec/bibtex/conf/fase/MargariaS98},
  url = {http://dx.doi.org/10.1007/BFb0053591},
  conference = {FASE},
  pages = {188-204},
  text = {FASE 1998:188-204},
  booktitle = {Proceedings of Fundamental Approaches to Software Engineering (FASE)}
}

{"_id":"6ZuqJRzqPM5pAEuNd","bibbaseid":"margaria-steffen-backtrackingfreedesignplanningbyautomaticsynthesisinmetaframe-1998","downloads":0,"creationDate":"2015-12-04T23:16:19.544Z","title":"Backtracking-Free Design Planning by Automatic Synthesis in METAFrame","author_short":["Margaria, T.","Steffen, B."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fase/MargariaS98","bibdata":{"title":"Backtracking-Free Design Planning by Automatic Synthesis in METAFrame","author":["Tiziana Margaria","Bernhard Steffen"],"author_short":["Margaria, T.","Steffen, B."],"bibtype":"inproceedings","type":"inproceedings","year":"1998","key":"dblp4365335","id":"dblp4365335","biburl":"http://www.dblp.org/rec/bibtex/conf/fase/MargariaS98","url":"http://dx.doi.org/10.1007/BFb0053591","conference":"FASE","pages":"188-204","text":"FASE 1998:188-204","booktitle":"Proceedings of Fundamental Approaches to Software Engineering (FASE)","bibtex":"@inproceedings{ dblp4365335,\n title = {Backtracking-Free Design Planning by Automatic Synthesis in METAFrame},\n author = {Tiziana Margaria and Bernhard Steffen},\n author_short = {Margaria, T. and Steffen, B.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1998},\n key = {dblp4365335},\n id = {dblp4365335},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fase/MargariaS98},\n url = {http://dx.doi.org/10.1007/BFb0053591},\n conference = {FASE},\n pages = {188-204},\n text = {FASE 1998:188-204},\n booktitle = {Proceedings of Fundamental Approaches to Software Engineering (FASE)}\n}","bibbaseid":"margaria-steffen-backtrackingfreedesignplanningbyautomaticsynthesisinmetaframe-1998","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/BFb0053591"},"downloads":0},"search_terms":["backtracking","free","design","planning","automatic","synthesis","metaframe","margaria","steffen"],"keywords":[],"authorIDs":[],"dataSources":["JGraMJitZuAs8iygg"]}