On the complexity of monitoring Orchids signatures, and recurrence equations - Laboratoire Méthodes Formelles
Article Dans Une Revue Formal Methods in System Design Année : 2018

On the complexity of monitoring Orchids signatures, and recurrence equations

Fichier principal
Vignette du fichier
rec3-hal.pdf (733.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03189484 , version 1 (09-06-2021)

Identifiants

Citer

Jean Goubault-Larrecq, Jean-Philippe Lachance. On the complexity of monitoring Orchids signatures, and recurrence equations. Formal Methods in System Design, 2018, 53 (1), pp.6-32. ⟨10.1007/s10703-017-0303-x⟩. ⟨hal-03189484⟩
65 Consultations
48 Téléchargements

Altmetric

Partager

More