An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata

MLA

Sickert, Salomon, and Javier Esparza. An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata. 2020. EBSCOhost, https://doi.org/10.1145/3373718.3394743.

APA

Sickert, S., & Esparza, J. (2020). An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata. https://doi.org/10.1145/3373718.3394743

Chicago

Sickert, Salomon, and Javier Esparza. 2020. “An Efficient Normalisation Procedure for Linear Temporal Logic and Very Weak Alternating Automata.” doi:10.1145/3373718.3394743.