%0 Journal Article %1 journals/logcom/CharrierPS19 %A Charrier, Tristan %A Pinchinat, Sophie %A Schwarzentruber, François %D 2019 %J J. Log. Comput. %K dblp %N 8 %P 1211-1249 %T Symbolic model checking of public announcement protocols. %U http://dblp.uni-trier.de/db/journals/logcom/logcom29.html#CharrierPS19 %V 29

@article{journals/logcom/CharrierPS19, added-at = {2020-02-03T00:00:00.000+0100}, author = {Charrier, Tristan and Pinchinat, Sophie and Schwarzentruber, François}, biburl = {https://www.bibsonomy.org/bibtex/25d9ed169cc80c9ca532d6bd2442488da/dblp}, ee = {https://doi.org/10.1093/logcom/exz023}, interhash = {7300950ad7a0a3dcccd53faae2ac7e1d}, intrahash = {5d9ed169cc80c9ca532d6bd2442488da}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 8, pages = {1211-1249}, timestamp = {2020-02-04T11:42:28.000+0100}, title = {Symbolic model checking of public announcement protocols.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom29.html#CharrierPS19}, volume = 29, year = 2019 }