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}",
}