|
|
|
Publications in Math-Net.Ru |
Citations |
|
2012 |
| 1. |
D. Yu. Volkanov, V. A. Zakharov, D. A. Zorin, I. V. Konnov, V. V. Podymov, “On the Designing of Model Checkers for Real-Time Distributed Systems”, Model. Anal. Inform. Sist., 19:6 (2012), 45–56  |
|
2010 |
| 2. |
I. V. Konnov, V. A. Zakharov, “The application of adaptive symmetry reduction for LTL model checking”, Model. Anal. Inform. Sist., 17:4 (2010), 78–87 |
|
2008 |
| 3. |
I. V. Konnov, “Application of weaker simulations to parameterized model checking by network invariants”, Model. Anal. Inform. Sist., 15:3 (2008), 3–13 |
|
| Organisations |
|
|
Contact us: