@inproceedings{ dblp4494279,
  title = {CASL: From Semantics to Tools},
  author = {Till Mossakowski},
  author_short = {Mossakowski, T.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2000},
  key = {dblp4494279},
  id = {dblp4494279},
  biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/Mossakowski00},
  url = {http://dx.doi.org/10.1007/3-540-46419-0_8},
  conference = {TACAS},
  pages = {93-108},
  text = {TACAS 2000:93-108},
  booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}
}

{"_id":"GjRrwtghZSunohGC4","bibbaseid":"mossakowski-caslfromsemanticstotools-2000","downloads":0,"creationDate":"2016-05-07T17:06:47.472Z","title":"CASL: From Semantics to Tools","author_short":["Mossakowski, T."],"year":2000,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/Mossakowski00","bibdata":{"title":"CASL: From Semantics to Tools","author":["Till Mossakowski"],"author_short":["Mossakowski, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2000","key":"dblp4494279","id":"dblp4494279","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/Mossakowski00","url":"http://dx.doi.org/10.1007/3-540-46419-0_8","conference":"TACAS","pages":"93-108","text":"TACAS 2000:93-108","booktitle":"Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)","bibtex":"@inproceedings{ dblp4494279,\n title = {CASL: From Semantics to Tools},\n author = {Till Mossakowski},\n author_short = {Mossakowski, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2000},\n key = {dblp4494279},\n id = {dblp4494279},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/Mossakowski00},\n url = {http://dx.doi.org/10.1007/3-540-46419-0_8},\n conference = {TACAS},\n pages = {93-108},\n text = {TACAS 2000:93-108},\n booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}\n}","bibbaseid":"mossakowski-caslfromsemanticstotools-2000","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-46419-0_8"},"downloads":0},"search_terms":["casl","semantics","tools","mossakowski"],"keywords":[],"authorIDs":[],"dataSources":["FoftapL8LC7jFgRnr"]}