Cita APA

Bolotov, A., Hermo Huguet, M., & Lucio Carrasco, F. (2020). Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+.

Citación estilo Chicago

Bolotov, Alexander, Montserrat Hermo Huguet, y Francisca Lucio Carrasco. Branching-time Logic ECTL# and Its Tree-style One-pass Tableau: Extending Fairness Expressibility of ECTL+. 2020.

Cita MLA

Bolotov, Alexander, Montserrat Hermo Huguet, y Francisca Lucio Carrasco. Branching-time Logic ECTL# and Its Tree-style One-pass Tableau: Extending Fairness Expressibility of ECTL+. 2020.