Paper  bibtex   

@inproceedings{ dblp4448016,
  title = {MOSEL: A FLexible Toolset for Monadic Second-Order Logic},
  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 = {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)}
}