Parametric Verification: An Introduction - Archive ouverte HAL
Article Dans Une Revue LNCS Transactions on Petri Nets and Other Models of Concurrency Année : 2019

Parametric Verification: An Introduction

Etienne André
Michal Jozef Knapik
  • Fonction : Auteur
Didier Lime
Wojciech Penczek
Laure Petrucci

Domaines

Autre [cs.OH]

Dates et versions

hal-03544041 , version 1 (26-01-2022)

Identifiants

Citer

Etienne André, Michal Jozef Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci. Parametric Verification: An Introduction. LNCS Transactions on Petri Nets and Other Models of Concurrency, 2019, ⟨10.1007/978-3-662-60651-3_3⟩. ⟨hal-03544041⟩
16 Consultations
0 Téléchargements

Altmetric

Partager

More