APA (7th ed.) Citation

Melani, B., Bartocci, E., & Chiari, M. (2025). A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. ACM Transactions on Embedded Computing Systems, 24, 1. https://doi.org/10.1145/3759917

Chicago Style (17th ed.) Citation

Melani, Beatrice, Ezio Bartocci, and Michele Chiari. "A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators." ACM Transactions on Embedded Computing Systems 24 (2025): 1. https://doi.org/10.1145/3759917.

MLA (9th ed.) Citation

Melani, Beatrice, et al. "A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators." ACM Transactions on Embedded Computing Systems, vol. 24, 2025, p. 1, https://doi.org/10.1145/3759917.