Parametric Verification: An Introduction

Etienne André; Michal Jozef Knapik; Didier Lime; Wojciech Penczek; Laure Petrucci

doi:10.1007/978-3-662-60651-3_3

Article Dans Une Revue LNCS Transactions on Petri Nets and Other Models of Concurrency Année : 2019

Parametric Verification: An Introduction

, , , , (1)

1

Etienne André

Fonction : Auteur
PersonId : 8289
IdHAL : etienne-andre

CV

Michal Jozef Knapik

Fonction : Auteur

Didier Lime

Fonction : Auteur
PersonId : 17326
IdHAL : didier-lime
ORCID : 0000-0001-8473-9555
IdRef : 08563025X

Wojciech Penczek

Fonction : Auteur
PersonId : 762267
ORCID : 0000-0001-6477-4863
IdRef : 181488280

Laure Petrucci

Fonction : Auteur
PersonId : 178715
IdHAL : laure-petrucci
ORCID : 0000-0003-3154-5268
IdRef : 110965787

Laboratoire d'Informatique de Paris-Nord

Domaines

Autre [cs.OH]

Laure Petrucci : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03544041

Soumis le : mercredi 26 janvier 2022-13:38:08

Dernière modification le : jeudi 28 novembre 2024-10:50:01

Dates et versions

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

Identifiants

HAL Id : hal-03544041 , version 1
DOI : 10.1007/978-3-662-60651-3_3

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 CNRS OCA LIPN USPC GALILE SORBONNE-PARIS-NORD ACT-R

16 Consultations

0 Téléchargements

Parametric Verification: An Introduction

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager