Publications

Publications of

Conference papers
  • Marc Boyer, Mihaela Sighireanu

    Synthesis and verification of constraints in the PGM protocol

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

    Abstract
    BibTeX

Department
Publication type
Criteria





Operator   AND   OR
Sort by