%0 Conference Paper %1 conf/csfw/AgrawalB16 %A Agrawal, Shreya %A Bonakdarpour, Borzoo %B CSF %D 2016 %I IEEE Computer Society %K dblp %P 239-252 %T Runtime Verification of k-Safety Hyperproperties in HyperLTL. %U http://dblp.uni-trier.de/db/conf/csfw/csf2016.html#AgrawalB16 %@ 978-1-5090-2607-4

@inproceedings{conf/csfw/AgrawalB16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Agrawal, Shreya and Bonakdarpour, Borzoo}, biburl = {https://www.bibsonomy.org/bibtex/2a840924d0408e1d0ca7d96726ffed76b/dblp}, booktitle = {CSF}, crossref = {conf/csfw/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/CSF.2016.24}, interhash = {9c8f3bcdb7c9163908889760868090e0}, intrahash = {a840924d0408e1d0ca7d96726ffed76b}, isbn = {978-1-5090-2607-4}, keywords = {dblp}, pages = {239-252}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T11:43:21.000+0200}, title = {Runtime Verification of k-Safety Hyperproperties in HyperLTL.}, url = {http://dblp.uni-trier.de/db/conf/csfw/csf2016.html#AgrawalB16}, year = 2016 }