Gromov, M. L., & Shabaldina, N. V. (2016). Using balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines. Yaroslavl State University.
Chicago Style (17th ed.) CitationGromov, M. L., and N. V. Shabaldina. Using Balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines. Yaroslavl State University, 2016.
MLA (9th ed.) CitationGromov, M. L., and N. V. Shabaldina. Using Balm-ii for Deriving Cascade Parallel Composition of Timed Finite State Machines. Yaroslavl State University, 2016.
Warning: These citations may not always be 100% accurate.