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 15, number 3, pages 3-13, 2008.Note: The English translation is available as http://dx.doi.org/10.3103/S0146411610070035
Bibtex Entry:
@article{KonnovZakharov2008,
  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    = {15},
  number    = {3},
  year      = {2008},
  pages     = {3-13},
  ee        = {http://mais.uniyar.ac.ru/ru/article/54},
  language  = {russian},
  note      = "The English translation is available as \url{http://dx.doi.org/10.3103/S0146411610070035}",
}
Powered by bibtexbrowser