Communication Dans Un Congrès
Année : 1999
Jean-Claude Royer : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01135580
Soumis le : mercredi 25 mars 2015-15:05:01
Dernière modification le : mercredi 27 avril 2022-03:47:25
Dates et versions
Identifiants
- HAL Id : hal-01135580 , version 1
Citer
Christine Choppy, Pascal Poizat, Jean-Claude Royer. From informal requirements to COOP: a concurrent automata approach. Formal Methods, 1999, Toulouse, France. pp.939-962. ⟨hal-01135580⟩
Collections
43
Consultations
0
Téléchargements