Tutorial on Formal Methods for Distributed and Cooperative Systems.

Christine Choppy, Serge Haddad, Hanna Klaudel, Fabrice Kordon, Laure Petrucci, Yann Thierry-Mieg

Browse the full ICTAC paper archive.