Chapitre D'ouvrage
Année : 2016
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03189644
Soumis le : dimanche 4 avril 2021-15:45:24
Dernière modification le : lundi 15 avril 2024-16:51:02
Citer
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⟩
Collections
18
Consultations
0
Téléchargements