A Smell of Orchids - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2008

Dates and versions

hal-03197297 , version 1 (13-04-2021)

Identifiers

Cite

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⟩
9 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More