Citace podle APA (7th ed.)

Samuel, S., D'Souza, D., & Komondoor, R. (2023, September 11). Symbolic Fixpoint Algorithms for Logical LTL Games. IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 698-709. https://doi.org/10.1109/ASE56229.2023.00212

Citace podle Chicago (17th ed.)

Samuel, Stanly, Deepak D'Souza, a Raghavan Komondoor. "Symbolic Fixpoint Algorithms for Logical LTL Games." IEEE/ACM International Conference on Automated Software Engineering : [proceedings] 11 Sep. 2023: 698-709. https://doi.org/10.1109/ASE56229.2023.00212.

Citace podle MLA (9th ed.)

Samuel, Stanly, et al. "Symbolic Fixpoint Algorithms for Logical LTL Games." IEEE/ACM International Conference on Automated Software Engineering : [proceedings], 11 Sep. 2023, pp. 698-709, https://doi.org/10.1109/ASE56229.2023.00212.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..