{"_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"]}