Müller, D., & Sickert, S. (2017). LTL to Deterministic Emerson-Lei Automata. Open Publishing Association.
Chicago Style (17th ed.) CitationMüller, David, and Salomon Sickert. LTL to Deterministic Emerson-Lei Automata. Open Publishing Association, 2017.
MLA (8th ed.) CitationMüller, David, and Salomon Sickert. LTL to Deterministic Emerson-Lei Automata. Open Publishing Association, 2017.
Warning: These citations may not always be 100% accurate.