Parametric Verification: An Introduction

Transactions on Petri Nets and Other Models of Concurrency XIV - Lecture Notes in Computer Science ◽

10.1007/978-3-662-60651-3_3 ◽

2019 ◽

pp. 64-100

Author(s):

Étienne André ◽

Michał Knapik ◽

Didier Lime ◽

Wojciech Penczek ◽

Laure Petrucci

Download Full-text