{"_id":"uLXHYr3MXd34FTnJX","bibbaseid":"kelb-margaria-mendler-gsottberger-moselaflexibletoolsetformonadicsecondorderlogic-1997","downloads":0,"creationDate":"2015-12-04T23:16:19.588Z","title":"MOSEL: A FLexible Toolset for Monadic Second-Order Logic","author_short":["Kelb, P.","Margaria, T.","Mendler, M.","Gsottberger, C."],"year":1997,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/KelbMMG97","bibdata":{"title":"MOSEL: A FLexible Toolset for Monadic Second-Order Logic","author":["Peter Kelb","Tiziana Margaria","Michael Mendler","Claudia Gsottberger"],"author_short":["Kelb, P.","Margaria, T.","Mendler, M.","Gsottberger, C."],"bibtype":"inproceedings","type":"inproceedings","year":"1997","key":"dblp4448016","id":"dblp4448016","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/KelbMMG97","url":"http://dx.doi.org/10.1007/BFb0035388","conference":"TACAS","pages":"183-202","text":"TACAS 1997:183-202","booktitle":"Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)","bibtex":"@inproceedings{ dblp4448016,\n title = {MOSEL: A FLexible Toolset for Monadic Second-Order Logic},\n author = {Peter Kelb and Tiziana Margaria and Michael Mendler and Claudia Gsottberger},\n author_short = {Kelb, P. and Margaria, T. and Mendler, M. and Gsottberger, C.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1997},\n key = {dblp4448016},\n id = {dblp4448016},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/KelbMMG97},\n url = {http://dx.doi.org/10.1007/BFb0035388},\n conference = {TACAS},\n pages = {183-202},\n text = {TACAS 1997:183-202},\n booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}\n}","bibbaseid":"kelb-margaria-mendler-gsottberger-moselaflexibletoolsetformonadicsecondorderlogic-1997","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/BFb0035388"},"downloads":0},"search_terms":["mosel","flexible","toolset","monadic","second","order","logic","kelb","margaria","mendler","gsottberger"],"keywords":[],"authorIDs":[],"dataSources":["WcC7rejiMgsrD8EBZ"]}