%0 Conference Paper %1 conf/forte/AcetoAAF22 %A Aceto, Luca %A Achilleos, Antonis %A Anastasiadi, Elli %A Francalanza, Adrian %B FORTE %D 2022 %E Mousavi, Mohammad Reza %E Philippou, Anna %I Springer %K dblp %P 1-10 %T Monitoring Hyperproperties with Circuits. %U http://dblp.uni-trier.de/db/conf/forte/forte2022.html#AcetoAAF22 %V 13273 %@ 978-3-031-08679-3

@inproceedings{conf/forte/AcetoAAF22, added-at = {2022-06-15T00:00:00.000+0200}, author = {Aceto, Luca and Achilleos, Antonis and Anastasiadi, Elli and Francalanza, Adrian}, biburl = {https://www.bibsonomy.org/bibtex/2ccaa69fc9462615bd0dd622cb5f4fa1a/dblp}, booktitle = {FORTE}, crossref = {conf/forte/2022}, editor = {Mousavi, Mohammad Reza and Philippou, Anna}, ee = {https://doi.org/10.1007/978-3-031-08679-3_1}, interhash = {5882ffc36ef73ac4bd7a7b36ef7ce202}, intrahash = {ccaa69fc9462615bd0dd622cb5f4fa1a}, isbn = {978-3-031-08679-3}, keywords = {dblp}, pages = {1-10}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T23:43:12.000+0200}, title = {Monitoring Hyperproperties with Circuits.}, url = {http://dblp.uni-trier.de/db/conf/forte/forte2022.html#AcetoAAF22}, volume = 13273, year = 2022 }