Login / Signup

Pattern Models: A Dynamic Epistemic Logic For Distributed Systems.

Armando CastañedaHans van DitmarschDavid A. RosenbluethDiego A. Velázquez
Published in: Comput. J. (2024)
Keyphrases