SamerV05'

BibTeX

@inproceedings{DBLP:conf/vissas/SamerV05,
  author    = {Marko Samer and
               Helmut Veith},
  title     = {From Temporal Logic Queries to Vacuity Detection},
  booktitle = {VISSAS},
  year      = {2005},
  pages     = {149-167},
  crossref  = {DBLP:conf/vissas/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vissas/2005,
  editor    = {Edmund M. Clarke and
               Marius Minea and
               Ferucio Laurentiu Tiplea},
  title     = {Verification of Infinite-State Systems with Applications
               to Security, Proceedings of the NATO Advanced Research Workshop
               "Verification of Infinite State Systems with Applications
               to Security VISSAS 2005", Timisoara, Romania, March 17-22,
               2005},
  booktitle = {VISSAS},
  publisher = {IOS Press},
  series    = {NATO Security through Science Series D: Information and
               Communication Security},
  volume    = {1},
  year      = {2006},
  isbn      = {1-58603-570-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}