Crossmark

Parametric Verification: An Introduction

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

Published: 2019

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

Authors

André, Étienne http://orcid.org/0000-0001-8473-9555
Knapik, Michał http://orcid.org/0000-0003-3259-9786
Lime, Didier http://orcid.org/0000-0001-9429-7586
Penczek, Wojciech http://orcid.org/0000-0001-6477-4863
Petrucci, Laure http://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