Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Mihaela Sighireanu

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Conférences et workshops internationaux / International conference papers

  • 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/2003-13/09/2003, Keijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.), Springer, p. 264-281, septembre 2003.
    Résumé
    BibTeX