DBLP BibTeX Record 'conf/dcfs/NiessnerU06'

@inproceedings{DBLP:conf/dcfs/NiessnerU06,
  author    = {Frank Nie{\ss}ner and
               Ulrich Ultes-Nitsche},
  title     = {A Complete Characterization of Deterministic Regular Liveness
               Properties},
  booktitle = {DCFS},
  year      = {2006},
  pages     = {211-222},
  crossref  = {DBLP:conf/dcfs/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dcfs/2006,
  editor    = {Hing Leung and
               Giovanni Pighizzini},
  title     = {8th International Workshop on Descriptional Complexity of
               Formal Systems - DCFS 2006, Las Cruces, New Mexico, USA,
               June 21 - 23, 2006. Proceedings},
  booktitle = {DCFS},
  publisher = {New Mexico State University, Las Cruces, New Mexico, USA},
  year      = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}