@inproceedings{ dblp4407907,
  title = {MOSEL: A Sound and Efficient Tool for M2L(Str)},
  author = {Peter Kelb and Tiziana Margaria and Michael Mendler and Claudia Gsottberger},
  author_short = {Kelb, P. and Margaria, T. and Mendler, M. and Gsottberger, C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1997},
  key = {dblp4407907},
  id = {dblp4407907},
  biburl = {http://www.dblp.org/rec/bibtex/conf/cav/KelbMMG97},
  url = {http://dx.doi.org/10.1007/3-540-63166-6_45},
  conference = {CAV},
  pages = {448-451},
  text = {CAV 1997:448-451},
  booktitle = {Proceedings of Computer Aided Verification (CAV)}
}

{"_id":"KphJPvWjHE6cfQHYC","bibbaseid":"kelb-margaria-mendler-gsottberger-moselasoundandefficienttoolform2lstr-1997","downloads":0,"creationDate":"2015-12-04T23:16:19.553Z","title":"MOSEL: A Sound and Efficient Tool for M2L(Str)","author_short":["Kelb, P.","Margaria, T.","Mendler, M.","Gsottberger, C."],"year":1997,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/KelbMMG97","bibdata":{"title":"MOSEL: A Sound and Efficient Tool for M2L(Str)","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":"dblp4407907","id":"dblp4407907","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/KelbMMG97","url":"http://dx.doi.org/10.1007/3-540-63166-6_45","conference":"CAV","pages":"448-451","text":"CAV 1997:448-451","booktitle":"Proceedings of Computer Aided Verification (CAV)","bibtex":"@inproceedings{ dblp4407907,\n title = {MOSEL: A Sound and Efficient Tool for M2L(Str)},\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 = {dblp4407907},\n id = {dblp4407907},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cav/KelbMMG97},\n url = {http://dx.doi.org/10.1007/3-540-63166-6_45},\n conference = {CAV},\n pages = {448-451},\n text = {CAV 1997:448-451},\n booktitle = {Proceedings of Computer Aided Verification (CAV)}\n}","bibbaseid":"kelb-margaria-mendler-gsottberger-moselasoundandefficienttoolform2lstr-1997","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/3-540-63166-6_45"},"downloads":0},"search_terms":["mosel","sound","efficient","tool","m2l","str","kelb","margaria","mendler","gsottberger"],"keywords":[],"authorIDs":[],"dataSources":["NDm9WLNJxgZtk2g3u"]}