APA (7th ed.) Citation

Volkanov, D. Y., Zakharov, V. A., Zorin, D. A., Konnov, I. V., & Podymov, V. V. (2015). On the Designing of Model Checkers for Real-Time Distributed Systems. Yaroslavl State University.

Chicago Style (17th ed.) Citation

Volkanov, D. Yu., V. A. Zakharov, D. A. Zorin, I. V. Konnov, and V. V. Podymov. On the Designing of Model Checkers for Real-Time Distributed Systems. Yaroslavl State University, 2015.

MLA (9th ed.) Citation

Volkanov, D. Yu., et al. On the Designing of Model Checkers for Real-Time Distributed Systems. Yaroslavl State University, 2015.