The Role of Abstraction in Model Checking
Crossref DOI link: https://doi.org/10.1007/978-3-031-31476-6_8
Published Online: 2023-05-17
Published Print: 2023
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gallardo, María-del-Mar http://orcid.org/0000-0003-3481-5307
Merino, Pedro http://orcid.org/0000-0003-2456-4946
Panizo, Laura http://orcid.org/0000-0002-6399-6162
Text and Data Mining valid from 2023-01-01
Version of Record valid from 2023-01-01
Chapter History
First Online: 17 May 2023