APA (7th ed.) Citation

Ermakov, A. (2018, October). Deriving checking sequences for nondeterministic FSMs. Труды Института системного программирования РАН.

Chicago Style (17th ed.) Citation

Ermakov, Anton. "Deriving Checking Sequences for Nondeterministic FSMs." Труды Института системного программирования РАН Oct. 2018.

MLA (9th ed.) Citation

Ermakov, Anton. "Deriving Checking Sequences for Nondeterministic FSMs." Труды Института системного программирования РАН, Oct. 2018.