N. Ege Saraç
Henzinger Group
1 Publication
2020 | Book Chapter | IST-REx-ID: 8623 | 
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer International Publishing, 2020, pp. 3–18.
View
| Files available
| DOI
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer International Publishing, 2020, pp. 3–18.
1 Publication
2020 | Book Chapter | IST-REx-ID: 8623 |
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer International Publishing, 2020, pp. 3–18.
View
| Files available
| DOI
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer International Publishing, 2020, pp. 3–18.