APA (7th ed.) Citation

Ryabukhin, D. A., Kuzmin, E. V., & Sokolov, V. A. (2016). Construction of CFC-programs by LTL-specification. Yaroslavl State University.

Chicago Style (17th ed.) Citation

Ryabukhin, D. A., E. V. Kuzmin, and V. A. Sokolov. Construction of CFC-programs by LTL-specification. Yaroslavl State University, 2016.

MLA (9th ed.) Citation

Ryabukhin, D. A., et al. Construction of CFC-programs by LTL-specification. Yaroslavl State University, 2016.