@article{AKLPP19,
  	author =	{Andr{\'e}, {\'E}tienne and Knapik, Micha\l{} and Lime, Didier and Penczek, Wojciech and Petrucci, Laure},
	title = {Parametric verification: An introduction},
  	journal =	{Transactions on Petri Nets and Other Models of Concurrency},
  	pages =	{64--100},
  	publisher = {Springer},
  	volume =	{14},
  	year =	{2019},
  	month =	{11},
  	day = {21},
  	keywords = {journal},
  	doi = {10.1007/978-3-662-60651-3_3},
}