@inproceedings{ dblp4612884,
  title = {Translationg OBJ3 into CASL: The Institution Level},
  author = {Till Mossakowski},
  author_short = {Mossakowski, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1998},
  key = {dblp4612884},
  id = {dblp4612884},
  biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/Mossakowski98},
  url = {http://dx.doi.org/10.1007/3-540-48483-3_14},
  conference = {WADT},
  pages = {198-215},
  text = {WADT 1998:198-215},
  booktitle = {Proceedings of WADT}
}

{"_id":"v9f53T6mDcoDxhvCK","bibbaseid":"mossakowski-translationgobj3intocasltheinstitutionlevel-1998","downloads":0,"creationDate":"2016-05-07T17:06:47.479Z","title":"Translationg OBJ3 into CASL: The Institution Level","author_short":["Mossakowski, T."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/Mossakowski98","bibdata":{"title":"Translationg OBJ3 into CASL: The Institution Level","author":["Till Mossakowski"],"author_short":["Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"1998","key":"dblp4612884","id":"dblp4612884","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/Mossakowski98","url":"http://dx.doi.org/10.1007/3-540-48483-3_14","conference":"WADT","pages":"198-215","text":"WADT 1998:198-215","booktitle":"Proceedings of WADT","bibtex":"@inproceedings{ dblp4612884,\n title = {Translationg OBJ3 into CASL: The Institution Level},\n author = {Till Mossakowski},\n author_short = {Mossakowski, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1998},\n key = {dblp4612884},\n id = {dblp4612884},\n biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/Mossakowski98},\n url = {http://dx.doi.org/10.1007/3-540-48483-3_14},\n conference = {WADT},\n pages = {198-215},\n text = {WADT 1998:198-215},\n booktitle = {Proceedings of WADT}\n}","bibbaseid":"mossakowski-translationgobj3intocasltheinstitutionlevel-1998","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-48483-3_14"},"downloads":0},"search_terms":["translationg","obj3","casl","institution","level","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["5khQHnXoFvneFitGr"]}