From Temporal Logic Queries to Vacuity Detection (bibtex)
by Marko Samer, Helmut Veith
Reference:
From Temporal Logic Queries to Vacuity DetectionMarko Samer, Helmut VeithVerification 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 (Edmund M. Clarke, Marius Minea, Ferucio Laurentiu Tiplea, eds.), volume 1 of NATO Security through Science Series D: Information and Communication Security, pages 149-167, 2006, IOS Press.
Bibtex Entry:
@inproceedings{DBLP:conf/vissas/SamerV05,
  author = {Marko Samer and Helmut Veith},
  title = {From Temporal Logic Queries to Vacuity Detection},
  year = {2006},
  booktitle = {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},
  editor = {Edmund M. Clarke and Marius Minea and Ferucio Laurentiu Tiplea},
  pages = {149--167},
  publisher = {IOS Press},
  series = {NATO Security through Science Series D: Information and Communication
  Security},
  volume = {1},
  isbn = {1-58603-570-3}
}
Powered by bibtexbrowser