| Original language | English |
|---|---|
| Title of host publication | European Conference on Logics in Artificial Intelligence, Funchal, Madeira |
| Editors | E. Fermé, J. Leite |
| Publisher | Springer |
| Pages | 665-673 |
| ISBN (Print) | 978-3-319-11557-3 |
| Publication status | Published - 2014 |
| MoE publication type | A4 Conference publication |
Constraint-Based Algorithm for Computing Temporal Invariants
Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
6
Citations
(Scopus)