%0 Journal Article %1 journals/sosym/AcetoAFIL21 %A Aceto, Luca %A Achilleos, Antonis %A Francalanza, Adrian %A Ingólfsdóttir, Anna %A Lehtinen, Karoliina %D 2021 %J Softw. Syst. Model. %K dblp %N 2 %P 335-361 %T An operational guide to monitorability with applications to regular properties. %U http://dblp.uni-trier.de/db/journals/sosym/sosym20.html#AcetoAFIL21 %V 20

@article{journals/sosym/AcetoAFIL21, added-at = {2021-04-29T00:00:00.000+0200}, author = {Aceto, Luca and Achilleos, Antonis and Francalanza, Adrian and Ingólfsdóttir, Anna and Lehtinen, Karoliina}, biburl = {https://www.bibsonomy.org/bibtex/234df47bd5b9f97ba0a37c6e8168ef8db/dblp}, ee = {https://doi.org/10.1007/s10270-020-00860-z}, interhash = {a4553a144ef228f0f2205df647a80a84}, intrahash = {34df47bd5b9f97ba0a37c6e8168ef8db}, journal = {Softw. Syst. Model.}, keywords = {dblp}, number = 2, pages = {335-361}, timestamp = {2024-04-08T12:55:00.000+0200}, title = {An operational guide to monitorability with applications to regular properties.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym20.html#AcetoAFIL21}, volume = 20, year = 2021 }