Konnov Igor' Vladimirovich

Publications in Math-Net.Ru

1. On the Designing of Model Checkers for Real-Time Distributed Systems
   
   Model. Anal. Inform. Sist., 19:6 (2012),  45–56
2. The application of adaptive symmetry reduction for LTL model checking
   
   Model. Anal. Inform. Sist., 17:4 (2010),  78–87
3. Application of weaker simulations to parameterized model checking by network invariants
   
   Model. Anal. Inform. Sist., 15:3 (2008),  3–13