MorgensternS05'

BibTeX

@inproceedings{DBLP:conf/galop/MorgensternS05,
  author    = {Andreas Morgenstern and
               Klaus Schneider},
  title     = {A unified model checking framework for the supervisor synthesis
               problem},
  booktitle = {GALOP},
  year      = {2005},
  pages     = {140-156},
  crossref  = {DBLP:conf/galop/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/galop/2005,
  editor    = {Dan R. Ghica and
               Guy McCusker},
  title     = {Games for Logic and Programming Languages (GALOP 2005),
               University of Edinburgh, 2-3 April 2005, The workshop was
               organized as part of the ETAPS Conference},
  booktitle = {GALOP},
  year      = {2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}