External Links

    Journal: Journal of Automated Reasoning

    Volume 48, Issue 4

    419 -- 439Freek Verbeek, Julien Schmaltz. Proof Pearl: A Formal Proof of Dally and Seitz' Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks
    441 -- 487Véronique Cortier, Stéphanie Delaune. Decidability and Combination Results for Two Notions of Knowledge in Security Protocols
    489 -- 532Predrag Janicic, Julien Narboux, Pedro Quaresma. The Area Method - A Recapitulation
    runs on