Étienne André, Michal Knapik, Didier Lime, Wojciech Penczek, Laure Petrucci. Parametric Verification: An Introduction. T. Petri Nets and Other Models of Concurrency, 14:64-100, 2019. [doi]
@article{AndreKLPP19,
title = {Parametric Verification: An Introduction},
author = {Étienne André and Michal Knapik and Didier Lime and Wojciech Penczek and Laure Petrucci},
year = {2019},
doi = {10.1007/978-3-662-60651-3_3},
url = {https://doi.org/10.1007/978-3-662-60651-3_3},
researchr = {https://researchr.org/publication/AndreKLPP19},
cites = {0},
citedby = {0},
journal = {T. Petri Nets and Other Models of Concurrency},
volume = {14},
pages = {64-100},
}