%0 Journal Article %1 journals/jair/AptW18 %A Apt, Krzysztof R. %A Wojtczak, Dominik %D 2018 %J J. Artif. Intell. Res. %K dblp %P 101-132 %T Verification of Distributed Epistemic Gossip Protocols. %U http://dblp.uni-trier.de/db/journals/jair/jair62.html#AptW18 %V 62

@article{journals/jair/AptW18, added-at = {2019-09-25T00:00:00.000+0200}, author = {Apt, Krzysztof R. and Wojtczak, Dominik}, biburl = {https://www.bibsonomy.org/bibtex/25c3d9a1f57ae6d403b2aa62310ac8046/dblp}, ee = {https://doi.org/10.1613/jair.1.11204}, interhash = {bdf9b2f8688fe9a7223b37cd729c70c8}, intrahash = {5c3d9a1f57ae6d403b2aa62310ac8046}, journal = {J. Artif. Intell. Res.}, keywords = {dblp}, pages = {101-132}, timestamp = {2019-09-26T12:03:57.000+0200}, title = {Verification of Distributed Epistemic Gossip Protocols.}, url = {http://dblp.uni-trier.de/db/journals/jair/jair62.html#AptW18}, volume = 62, year = 2018 }