Konnov, I. V., & Zakharov, V. A. (2010). The application of adaptive symmetry reduction for LTL model checking. Yaroslavl State University.
Chicago Style (17th ed.) CitationKonnov, I. V., and V. A. Zakharov. The Application of Adaptive Symmetry Reduction for LTL Model Checking. Yaroslavl State University, 2010.
MLA (9th ed.) CitationKonnov, I. V., and V. A. Zakharov. The Application of Adaptive Symmetry Reduction for LTL Model Checking. Yaroslavl State University, 2010.
Warning: These citations may not always be 100% accurate.