Skip to Main content Skip to Navigation
Book sections

On the Complexity of Monitoring Orchids Signatures

Complete list of metadata

https://hal.inria.fr/hal-03189644
Contributor : Jean Goubault-Larrecq <>
Submitted on : Sunday, April 4, 2021 - 3:45:24 PM
Last modification on : Tuesday, April 6, 2021 - 3:25:11 AM

Identifiers

Citation

Jean Goubault-Larrecq, Jean-Philippe Lachance. On the Complexity of Monitoring Orchids Signatures. Proceedings of the 16th Conference on Runtime Verification (RV'16), volume 10012 of Lecture Notes in Computer Science, Springer Verlag, pp.169-184, 2016, ⟨10.1007/978-3-319-46982-9_11⟩. ⟨hal-03189644⟩

Share

Metrics

Record views

19