Communication Dans Un Congrès
Année : 2004
Lionel Morel : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00293109
Soumis le : jeudi 3 juillet 2008-16:15:11
Dernière modification le : jeudi 4 avril 2024-21:39:07
Citer
Lionel Morel, Florence Maraninchi. Arrays and contracts for the specification and analysis of regular systems. Application of Concurrency to System Design, 2004. ACSD 2004. Proceedings. Fourth International Conference on, Jun 2004, Hamilton, Canada. pp.57- 66, ⟨10.1109/CSD.2004.1309116⟩. ⟨hal-00293109⟩
96
Consultations
0
Téléchargements