Matos, André Costa
3508  results:
Search for persons X
?
 
?
 
?
13

Monitoring of spatio-temporal properties with nonlinear SAT..:

Matos Pedro, André ; Silva, Tomás ; Sequeira, Tiago...
International Journal on Software Tools for Technology Transfer.  26 (2024)  2 - p. 169-188 , 2024
 
1-15