Monitoring of spatio-temporal properties with nonlinear SAT solvers.

MLA

Matos, Pedro, André, et al. “Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers.” International Journal on Software Tools for Technology Transfer, vol. 26, no. 2, Apr. 2024, pp. 169–88. EBSCOhost, https://doi.org/10.1007/s10009-024-00740-7.

APA

Matos, P. A., Silva, T., Sequeira, T., Lourenço, J., Seco, J. C., & Ferreira, C. (2024). Monitoring of spatio-temporal properties with nonlinear SAT solvers. International Journal on Software Tools for Technology Transfer, 26(2), 169–188. https://doi.org/10.1007/s10009-024-00740-7

Chicago

Matos, Pedro, André, Tomás Silva, Tiago Sequeira, João Lourenço, João Costa Seco, and Carla Ferreira. 2024. “Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers.” International Journal on Software Tools for Technology Transfer 26 (2): 169–88. doi:10.1007/s10009-024-00740-7.