A Naturally-Colored Translation from LTL to Parity and COCOA

MLA

Ehlers, Rüdiger, and Ayrat Khalimov. A Naturally-Colored Translation from LTL to Parity and COCOA. 2024. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2410.01021&authtype=sso&custid=ns315887.

APA

Ehlers, R., & Khalimov, A. (2024). A Naturally-Colored Translation from LTL to Parity and COCOA.

Chicago

Ehlers, Rüdiger, and Ayrat Khalimov. 2024. “A Naturally-Colored Translation from LTL to Parity and COCOA.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.2410.01021&authtype=sso&custid=ns315887.