DBLP Record 'conf/wia/Fritz03'

BibTeX

@inproceedings{DBLP:conf/wia/Fritz03,
  author    = {Carsten Fritz},
  title     = {Constructing B{\"u}chi Automata from Linear Temporal Logic
               Using Simulation Relations for Alternating B{\"u}chi Automata},
  booktitle = {CIAA},
  year      = {2003},
  pages     = {35-48},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2759/27590035.htm},
  crossref  = {DBLP:conf/wia/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wia/2003,
  editor    = {Oscar H. Ibarra and
               Zhe Dang},
  title     = {Implementation and Application of Automata, 8th International
               Conference, CIAA 2003, Santa Barbara, California, USA, July
               16-18, 2003, Proceedings},
  booktitle = {CIAA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2759},
  year      = {2003},
  isbn      = {3-540-40561-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}