Crossmark

Parametric Verification: An Introduction

Crossref DOI link: https://doi.org/10.1007/978-3-662-60651-3_3

Published Online: 2019-11-21

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

André, Étienne https://orcid.org/0000-0001-8473-9555
Knapik, Michał https://orcid.org/0000-0003-3259-9786
Lime, Didier https://orcid.org/0000-0001-9429-7586
Penczek, Wojciech https://orcid.org/0000-0001-6477-4863
Petrucci, Laure https://orcid.org/0000-0003-3154-5268
License Information

Text and Data Mining valid from 2019-01-01
More Information

Chapter History

First Online: 21 November 2019