Accéder directement au contenu

Étienne André

3
Documents
Identifiants chercheurs
  • IdHAL etienne-andre

Présentation

My Web page is available at [lipn.univ-paris13.fr/~andre/](https://lipn.univ-paris13.fr/~andre/ "Étienne André")

Publications

762267

Parametric Verification: An Introduction

 Etienne André , Michal Jozef Knapik , Didier Lime , Wojciech Penczek , Laure Petrucci
LNCS Transactions on Petri Nets and Other Models of Concurrency, 2019, ⟨10.1007/978-3-662-60651-3_3⟩
Article dans une revue hal-03544041v1

Parametric Verification: An Introduction

 Étienne André , Michał Knapik , Didier Lime , Wojciech Penczek , Laure Petrucci
LNCS Transactions on Petri Nets and Other Models of Concurrency, inPress
Article dans une revue hal-02170526v1

Timed ATL: Forget Memory, Just Count

 Etienne André , Laure Petrucci , Wojciech Jamroga , Michal Jozef Knapik , Wojciech Penczek
Conference on Autonomous Agents and MultiAgent Systems, May 2017, Sao Paulo, Brazil
Communication dans un congrès hal-03772771v1