@inproceedings{ dblp4352237,
  title = {Foundations of Heterogeneous Specification},
  author = {Till Mossakowski},
  author_short = {Mossakowski, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2002},
  key = {dblp4352237},
  id = {dblp4352237},
  biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/Mossakowski02},
  url = {http://dx.doi.org/10.1007/978-3-540-40020-2_21},
  conference = {WADT},
  pages = {359-375},
  text = {WADT 2002:359-375},
  booktitle = {Proceedings of WADT}
}

{"_id":"6aez9MXXcW8nNppyR","bibbaseid":"mossakowski-foundationsofheterogeneousspecification-2002","downloads":0,"creationDate":"2016-05-07T17:06:47.437Z","title":"Foundations of Heterogeneous Specification","author_short":["Mossakowski, T."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/Mossakowski02","bibdata":{"title":"Foundations of Heterogeneous Specification","author":["Till Mossakowski"],"author_short":["Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2002","key":"dblp4352237","id":"dblp4352237","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/Mossakowski02","url":"http://dx.doi.org/10.1007/978-3-540-40020-2_21","conference":"WADT","pages":"359-375","text":"WADT 2002:359-375","booktitle":"Proceedings of WADT","bibtex":"@inproceedings{ dblp4352237,\n title = {Foundations of Heterogeneous Specification},\n author = {Till Mossakowski},\n author_short = {Mossakowski, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2002},\n key = {dblp4352237},\n id = {dblp4352237},\n biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/Mossakowski02},\n url = {http://dx.doi.org/10.1007/978-3-540-40020-2_21},\n conference = {WADT},\n pages = {359-375},\n text = {WADT 2002:359-375},\n booktitle = {Proceedings of WADT}\n}","bibbaseid":"mossakowski-foundationsofheterogeneousspecification-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-40020-2_21"},"downloads":0},"search_terms":["foundations","heterogeneous","specification","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["9dn9ezyocEYWnmjWE"]}