Validity of CTL Queries Revisited (bibtex)
by Marko Samer, Helmut Veith
Reference:
Validity of CTL Queries RevisitedMarko Samer, Helmut VeithComputer Science Logic, 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Güdel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings (Matthias Baaz, Johann A. Makowsky, eds.), pages 470-483, 2003, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/csl/SamerV03,
  author = {Marko Samer and Helmut Veith},
  title = {Validity of CTL Queries Revisited},
  year = {2003},
  booktitle = {Computer Science Logic, 17th International Workshop, CSL 2003, 12th   Annual Conference of the EACSL, and 8th Kurt G{\"u}del Colloquium, KGC 2003,   Vienna, Austria, August 25-30, 2003, Proceedings},
  editor = {Matthias Baaz and Johann A. Makowsky},
  pages = {470--483},
  publisher = {Springer},
  isbn = {3-540-40801-0},
  url = {http://springerlink.metapress.com/openurl.asp?genre$=$article\&issn$=$0% 302-9743\&volume$=$2803\&spage$=$470}
}
Powered by bibtexbrowser