On the complexity of monitoring Orchids signatures, and recurrence equations - Archive ouverte HAL Accéder directement au contenu
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⟩
41 Consultations
26 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More