Chebotarev, A. N. (2019). Detecting fictitious states in a Σ-automaton synthesized from the specification in the language LP.
Chicago Style (17th ed.) CitationChebotarev, A. N. Detecting Fictitious States in a Σ-automaton Synthesized from the Specification in the Language LP. 2019.
MLA (8th ed.) CitationChebotarev, A. N. Detecting Fictitious States in a Σ-automaton Synthesized from the Specification in the Language LP. 2019.
Warning: These citations may not always be 100% accurate.