@misc{indiciae2c5af974e093,
  title = {Parametric Verification: An Introduction},
  author = {Étienne André and Michał Knapik and Didier Lime and Wojciech Penczek and Laure Petrucci},
  year = {2019},
  doi = {10.1007/978-3-662-60651-3\_3},
  url = {https://arxiv.org/abs/1907.00555},
  note = {Source identifier: 1907.00555}
}