GrooteMRUW06'

BibTeX

@inproceedings{DBLP:conf/dagstuhl/GrooteMRUW06,
  author    = {Jan Friso Groote and
               Aad Mathijssen and
               Michel A. Reniers and
               Yaroslav S. Usenko and
               Muck van Weerdenburg},
  title     = {The Formal Specification Language mCRL2},
  booktitle = {MMOSS},
  year      = {2006},
  ee        = {http://drops.dagstuhl.de/opus/volltexte/2007/862},
  crossref  = {DBLP:conf/dagstuhl/2006P6351},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dagstuhl/2006P6351,
  editor    = {Ed Brinksma and
               David Harel and
               Angelika Mader and
               Perdita Stevens and
               Roel Wieringa},
  title     = {Methods for Modelling Software Systems (MMOSS), 27.08. -
               01.09.2006},
  booktitle = {MMOSS},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
               (IBFI), Schloss Dagstuhl, Germany},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {06351},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}