HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

A Smell of Orchids

Jean Goubault-Larrecq 1 Julien Olivain 1, 2
1 LSV - Laboratoire Spécification et Vérification
2 Above Security
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/hal-03197297
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Tuesday, April 13, 2021 - 4:32:03 PM
Last modification on : Tuesday, December 14, 2021 - 3:53:17 AM

Links full text

istex

Identifiers

Collections

CNRS | ENS-CACHAN | ENS-PARIS-SACLAY | UNIV-PARIS-SACLAY

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

7

 

Contact                    Legal Notice                    Personal Data