Publications

Publications de

Communications dans un congrès
  • Marc Boyer, Mihaela Sighireanu

    Synthesis and verification of constraints in the PGM protocol

    Dans : 12th International Formal Methods Europe Symposium (FM’03), Pisa (Italy), 08/09/03-13/09/03, Keijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.), Springer, p. 264-281, septembre 2003.

    Résumé
    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par