Foundations of Heterogeneous Specification. Mossakowski, T. In Proceedings of WADT, pages 359-375, 2002.
Paper bibtex @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}
}
Downloads: 0
{"_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"]}