Communication Dans Un Congrès
Année : 2001
Jean-Claude Royer : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01135657
Soumis le : mercredi 25 mars 2015-16:02:23
Dernière modification le : mercredi 27 avril 2022-04:18:09
Dates et versions
Identifiants
- HAL Id : hal-01135657 , version 1
Citer
Jean-Claude Royer. Formal Specification and Temporal Proof Techniques for Mixed Systems. Workshop FMPPTA at IPDPS 2001 Symposium, 2001, San Fransisco, United States. ⟨hal-01135657⟩
Collections
19
Consultations
0
Téléchargements