Crossmark

On Probabilistic Monitorability

Crossref DOI link: https://doi.org/10.1007/978-3-031-22337-2_16

Published Online: 2022-12-29

Published Print: 2022

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Aceto, Luca https://orcid.org/0000-0002-2197-3018
Achilleos, Antonis https://orcid.org/0000-0002-1314-333X
Anastasiadi, Elli https://orcid.org/0000-0001-7526-9256
Francalanza, Adrian https://orcid.org/0000-0003-3829-7391
Ingólfsdóttir, Anna https://orcid.org/0000-0001-8362-3075
Lehtinen, Karoliina https://orcid.org/0000-0003-1171-8790
Pedersen, Mathias Ruggaard https://orcid.org/0000-0002-7470-4962
License Information

Text and Data Mining valid from 2022-01-01

Version of Record valid from 2022-01-01
More Information

Chapter History

First Online: 29 December 2022