@inbook{Chalupa_2023,
    title = {Monitoring Hyperproperties with Prefix Transducers},
    isbn = {9783031442674},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-44267-4_9},
    doi = {10.1007/978-3-031-44267-4_9},
    booktitle = {Lecture Notes in Computer Science},
    publisher = {Springer Nature Switzerland},
    author = {Chalupa, Marek and Henzinger, Thomas A.},
    year = {2023},
    pages = {168–190},
    date-added = {2023-11-24 8:3:25 +0100}
}

@inbook{Chalupa_2023, title = {Monitoring Hyperproperties with Prefix Transducers}, isbn = {9783031442674}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-44267-4_9}, doi = {10.1007/978-3-031-44267-4_9}, booktitle = {Lecture Notes in Computer Science}, publisher = {Springer Nature Switzerland}, author = {Chalupa, Marek and Henzinger, Thomas A.}, year = {2023}, pages = {168–190}, date-added = {2023-11-24 8:3:25 +0100} }