BibTeX record: conf/dcfs/NiessnerU06

download as .bib file

@inproceedings{DBLP:conf/dcfs/NiessnerU06,
  author    = {Frank Nie{\ss}ner and
               Ulrich Ultes{-}Nitsche},
  title     = {A Complete Characterization of Deterministic Regular Liveness Properties},
  booktitle = {8th International Workshop on Descriptional Complexity of Formal Systems
               - {DCFS} 2006, Las Cruces, New Mexico, USA, June 21 - 23, 2006. Proceedings},
  year      = {2006},
  pages     = {211--222},
  crossref  = {DBLP:conf/dcfs/2006},
  timestamp = {Fri, 31 Oct 2014 14:07:32 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/NiessnerU06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@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},
  year      = {2006},
  publisher = {New Mexico State University, Las Cruces, New Mexico, {USA}},
  timestamp = {Fri, 31 Oct 2014 14:07:32 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dcfs/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}