%0 Journal Article %1 journals/pacmpl/RakotonirinaBS24 %A Rakotonirina, Itsaka %A Barthe, Gilles %A Schneidewind, Clara %D 2024 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1913-1944 %T Decision and Complexity of Dolev-Yao Hyperproperties. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#RakotonirinaBS24 %V 8

@article{journals/pacmpl/RakotonirinaBS24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Rakotonirina, Itsaka and Barthe, Gilles and Schneidewind, Clara}, biburl = {https://www.bibsonomy.org/bibtex/2a67c7cea2616c42f8ddbd62f2c098151/dblp}, ee = {https://doi.org/10.1145/3632906}, interhash = {d7300b9f681ce358a7a9a5d6be05e83d}, intrahash = {a67c7cea2616c42f8ddbd62f2c098151}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {1913-1944}, timestamp = {2024-04-08T09:54:16.000+0200}, title = {Decision and Complexity of Dolev-Yao Hyperproperties.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#RakotonirinaBS24}, volume = 8, year = 2024 }