Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir. Monitorability for the Hennessy-Milner logic with recursion. Formal Methods in System Design, 51(1):87-116, 2017. [doi]
@article{FrancalanzaAI17, title = {Monitorability for the Hennessy-Milner logic with recursion}, author = {Adrian Francalanza and Luca Aceto and Anna Ingólfsdóttir}, year = {2017}, doi = {10.1007/s10703-017-0273-z}, url = {https://doi.org/10.1007/s10703-017-0273-z}, researchr = {https://researchr.org/publication/FrancalanzaAI17}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {51}, number = {1}, pages = {87-116}, }