Chapitre D'ouvrage
Année : 2008
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03197297
Soumis le : mardi 13 avril 2021-16:32:03
Dernière modification le : mercredi 29 novembre 2023-15:28:04
Citer
Jean Goubault-Larrecq, Julien Olivain. A Smell of Orchids. Proceedings of the 8th Workshop on Runtime Verification (RV'08), volume 5289 of Lecture Notes in Computer Science, Budapest, Hungary, Springer., pp.1-20, 2008, ⟨10.1007/978-3-540-89247-2_1⟩. ⟨hal-03197297⟩
Collections
9
Consultations
0
Téléchargements