 | Up a level |
Number of items: 2.
Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingolfdottir, Anna and Lehtinen, MK 
ORCID: 0000-0003-1171-8790
(2019)
Adventures in monitorability: From branching time to linear time and back again.
Proceedings of the ACM on Programming Languages, 3 (POPL).
pp. 1-29.
Lehtinen, Karoliina ORCID: 0000-0003-1171-8790, Achilleos, Antonis, Francalanza, Adrian, Aceto, Luca and Ingolfsdottir, Anna
(2019)
An Operational Guide to Monitorability.
Journal of Software and Systems Modeling,, 11724.
pp. 433-453.