Gabbay, M. J., & Zanolini, L. (2025). A declarative approach to specifying distributed algorithms using three-valued modal logic.
Style de citation Chicago (17e éd.)Gabbay, Murdoch J., et Luca Zanolini. A Declarative Approach to Specifying Distributed Algorithms Using Three-valued Modal Logic. 2025.
Style de citation MLA (9e éd.)Gabbay, Murdoch J., et Luca Zanolini. A Declarative Approach to Specifying Distributed Algorithms Using Three-valued Modal Logic. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.