Kuzmin, E. V., Sokolov, V. A., & Ryabukhin, D. A. (2013). Construction and Verification of PLC LD-programs by LTL-specification. Yaroslavl State University.
Chicago Style (17th ed.) CitationKuzmin, E. V., V. A. Sokolov, and D. A. Ryabukhin. Construction and Verification of PLC LD-programs by LTL-specification. Yaroslavl State University, 2013.
MLA (8th ed.) CitationKuzmin, E. V., et al. Construction and Verification of PLC LD-programs by LTL-specification. Yaroslavl State University, 2013.
Warning: These citations may not always be 100% accurate.