Jean Goubault-Larrecq, Julien Olivain. A Smell of Orchids. In Martin Leucker, editor, Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Volume 5289 of Lecture Notes in Computer Science, pages 1-20, Springer, 2008. [doi]
Abstract is missing.