@inproceedings{ dblp4352238,
  title = {Algebraic-Coalgebraic Specification in Co Casl},
  author = {Till Mossakowski and Horst Reichel and Markus Roggenbach and Lutz Schröder},
  author_short = {Mossakowski, T. and Reichel, H. and Roggenbach, M. and Schröder, L.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2002},
  key = {dblp4352238},
  id = {dblp4352238},
  biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/MossakowskiRRS02},
  url = {http://dx.doi.org/10.1007/978-3-540-40020-2_22},
  conference = {WADT},
  pages = {376-392},
  text = {WADT 2002:376-392},
  booktitle = {Proceedings of WADT}
}

{"_id":"KuvaEqJk8si9Yd6wv","bibbaseid":"mossakowski-reichel-roggenbach-schrder-algebraiccoalgebraicspecificationincocasl-2002","downloads":0,"creationDate":"2016-05-07T17:06:47.438Z","title":"Algebraic-Coalgebraic Specification in Co Casl","author_short":["Mossakowski, T.","Reichel, H.","Roggenbach, M.","Schröder, L."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/MossakowskiRRS02","bibdata":{"title":"Algebraic-Coalgebraic Specification in Co Casl","author":["Till Mossakowski","Horst Reichel","Markus Roggenbach","Lutz Schröder"],"author_short":["Mossakowski, T.","Reichel, H.","Roggenbach, M.","Schröder, L."],"bibtype":"inproceedings","type":"inproceedings","year":"2002","key":"dblp4352238","id":"dblp4352238","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/MossakowskiRRS02","url":"http://dx.doi.org/10.1007/978-3-540-40020-2_22","conference":"WADT","pages":"376-392","text":"WADT 2002:376-392","booktitle":"Proceedings of WADT","bibtex":"@inproceedings{ dblp4352238,\n title = {Algebraic-Coalgebraic Specification in Co Casl},\n author = {Till Mossakowski and Horst Reichel and Markus Roggenbach and Lutz Schröder},\n author_short = {Mossakowski, T. and Reichel, H. and Roggenbach, M. and Schröder, L.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2002},\n key = {dblp4352238},\n id = {dblp4352238},\n biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/MossakowskiRRS02},\n url = {http://dx.doi.org/10.1007/978-3-540-40020-2_22},\n conference = {WADT},\n pages = {376-392},\n text = {WADT 2002:376-392},\n booktitle = {Proceedings of WADT}\n}","bibbaseid":"mossakowski-reichel-roggenbach-schrder-algebraiccoalgebraicspecificationincocasl-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-40020-2_22"},"downloads":0},"search_terms":["algebraic","coalgebraic","specification","casl","mossakowski","reichel","roggenbach","schröder"],"keywords":[],"authorIDs":[],"dataSources":["Be2Y7g4QgCYBxJAX9"]}