@inproceedings{ dblp4352241,
  title = {Monad-Independent Dynamic Logic in Has Casl},
  author = {Lutz Schröder and Till Mossakowski},
  author_short = {Schröder, L. and Mossakowski, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2002},
  key = {dblp4352241},
  id = {dblp4352241},
  biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM02},
  url = {http://dx.doi.org/10.1007/978-3-540-40020-2_25},
  conference = {WADT},
  pages = {425-441},
  text = {WADT 2002:425-441},
  booktitle = {Proceedings of WADT}
}

{"_id":"Tmm57pMdcjGBDbiZS","bibbaseid":"schrder-mossakowski-monadindependentdynamiclogicinhascasl-2002","downloads":0,"creationDate":"2016-05-07T17:06:47.463Z","title":"Monad-Independent Dynamic Logic in Has Casl","author_short":["Schröder, L.","Mossakowski, T."],"year":2002,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM02","bibdata":{"title":"Monad-Independent Dynamic Logic in Has Casl","author":["Lutz Schröder","Till Mossakowski"],"author_short":["Schröder, L.","Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2002","key":"dblp4352241","id":"dblp4352241","biburl":"http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM02","url":"http://dx.doi.org/10.1007/978-3-540-40020-2_25","conference":"WADT","pages":"425-441","text":"WADT 2002:425-441","booktitle":"Proceedings of WADT","bibtex":"@inproceedings{ dblp4352241,\n title = {Monad-Independent Dynamic Logic in Has Casl},\n author = {Lutz Schröder and Till Mossakowski},\n author_short = {Schröder, L. and Mossakowski, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2002},\n key = {dblp4352241},\n id = {dblp4352241},\n biburl = {http://www.dblp.org/rec/bibtex/conf/wadt/SchroderM02},\n url = {http://dx.doi.org/10.1007/978-3-540-40020-2_25},\n conference = {WADT},\n pages = {425-441},\n text = {WADT 2002:425-441},\n booktitle = {Proceedings of WADT}\n}","bibbaseid":"schrder-mossakowski-monadindependentdynamiclogicinhascasl-2002","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-40020-2_25"},"downloads":0},"search_terms":["monad","independent","dynamic","logic","casl","schröder","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["3uqPur2Mw2N3GZezn"]}