On the Complexity of Monitoring Orchids Signatures - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2016

On the Complexity of Monitoring Orchids Signatures

No file

Dates and versions

hal-03189644 , version 1 (04-04-2021)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More