DBLP Record 'conf/wia/LescowV97'

BibTeX

@inproceedings{DBLP:conf/wia/LescowV97,
  author    = {Helmut Lescow and
               Jens V{\"o}ge},
  title     = {Minimal Separating Sets for Muller Automata},
  booktitle = {Workshop on Implementing Automata},
  year      = {1997},
  pages     = {109-121},
  crossref  = {DBLP:conf/wia/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wia/1997,
  editor    = {Derick Wood and
               Sheng Yu},
  title     = {Automata Implementation, Second International Workshop on
               Implementing Automata, WIA '97, London, Ontario, Canada,
               September 18-20, 1997, Revised Papers},
  booktitle = {WIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1436},
  year      = {1998},
  isbn      = {3-540-64694-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}