APA (7th ed.) Citation

Olarte, C., & Ölveczky, P. C. (2025). Formal analysis of real-time systems with user-defined strategies in rewriting logic. Journal of logical and algebraic methods in programming, 146, 101072. https://doi.org/10.1016/j.jlamp.2025.101072

Chicago Style (17th ed.) Citation

Olarte, Carlos, and Peter Csaba Ölveczky. "Formal Analysis of Real-time Systems with User-defined Strategies in Rewriting Logic." Journal of Logical and Algebraic Methods in Programming 146 (2025): 101072. https://doi.org/10.1016/j.jlamp.2025.101072.

MLA (9th ed.) Citation

Olarte, Carlos, and Peter Csaba Ölveczky. "Formal Analysis of Real-time Systems with User-defined Strategies in Rewriting Logic." Journal of Logical and Algebraic Methods in Programming, vol. 146, 2025, p. 101072, https://doi.org/10.1016/j.jlamp.2025.101072.