1 Publication

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

Search

Filter Publications

Display / Sort

Export / Embed

1 Publication

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

Search

Filter Publications

Display / Sort

Export / Embed