Using Adaptive Symmetry Reduction for LTL Model Checking (bibtex)
by Igor V. Konnov, Vladimir A. Zakharov
Reference:
Using Adaptive Symmetry Reduction for LTL Model CheckingIgor V. Konnov, Vladimir A. ZakharovInternational Workshop on Program Semantics, Specification and Verification (PSSV 2010) affiliated with CSR 2010, pages 5-11, 2010.Note: Available as http://lvk.cs.msu.su/ konnov/publications/k10_cheaps_abstract.pdf
Bibtex Entry:
@inproceedings{KonnovZakharov2010:PSSV2010,
  author    = {Igor V. Konnov and Vladimir A. Zakharov},
  title     = {Using Adaptive Symmetry Reduction for LTL Model Checking},
  booktitle = {International Workshop on Program Semantics, Specification
      and Verification (PSSV 2010) affiliated with CSR 2010},
  year      = {2010},
  pages     = {5-11},
  note      = "Available as \url{http://lvk.cs.msu.su/~konnov/publications/k10_cheaps_abstract.pdf}",
}
Powered by bibtexbrowser