A Framework for Parameterized Monitorability

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/978-3-319-89366-2_11 ◽

2018 ◽

pp. 203-220 ◽

Author(s):

Luca Aceto ◽

Antonis Achilleos ◽

Adrian Francalanza ◽

Anna Ingólfsdóttir

Download Full-text