Publications

Publications de

Articles dans une revue
Communications dans un congrès
  • Michel Charpentier, A. El Hadiri, Gérard Padiou

    A UNITY-based Algorithm Design Assistant

    Dans : Workshop on Tools and Algorithms for the Construction and Analysis of Systems, , BRICS Notes Series NS-095-2, Aarhus, Danmark, p. 131-145, mai 1995.

    BibTeX

  • A. El Hadiri

    Sur les automates asynchrones et les expressions SCCS

    Dans : Actes des 6èmes Rencontres francophones du parallélisme, ENS Lyon, France, -, janvier 1994.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par