Browsing by Author Silva, Tomás
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Type | Access Type |
|---|---|---|---|---|
| Apr-2024 | Monitoring of Spatio-Temporal Properties with Nonlinear SAT solvers | Matos Pedro, André; Silva, Tomás; Sequeira, Tiago; Lourenço, João; Seco, João Costa; Ferreira, Carla | article |  |
