Publication
Detail
Publication date: 05/09/2022Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
URL | https://link.springer.com/chapter/10.1007/978-3-031-15008-1_11 |
---|---|
Book title | Formal Methods for Industrial Critical Systems (FMICS 2022) |