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. ZakharovModelling and Analysis of Information Systems (Modelirovanie i analiz informacionnih system), volume 17, number 4, pages 78-87, 2010.
Bibtex Entry:
@article{KonnovZakharov2010:MAIS,
  author    = {Igor V. Konnov and Vladimir A. Zakharov},
  title     = {Using Adaptive Symmetry Reduction for LTL Model Checking},
  journal   = {Modelling and Analysis of Information Systems (Modelirovanie i analiz informacionnih system)},
  volume    = {17},
  number    = {4},
  year      = {2010},
  pages     = {78-87},
  ee        = {http://mais.uniyar.ac.ru/en/article/455},
  language  = {russian},
}
Powered by bibtexbrowser