Browsing by Author Cini, Clare
Showing results 3 to 3 of 3
< previous
Issue Date | Title | Author(s) |
---|---|---|
2012-11 | Towards proof-theoretic interpretations for LTL monitoring | Cini, Clare; Francalanza, Adrian |
Issue Date | Title | Author(s) |
---|---|---|
2012-11 | Towards proof-theoretic interpretations for LTL monitoring | Cini, Clare; Francalanza, Adrian |