Crossmark

Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation

Crossref DOI link: https://doi.org/10.1007/978-3-031-15629-8_16

Published Online: 2022-09-07

Published Print: 2022

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

Authors

Groote, Jan Friso https://orcid.org/0000-0003-2196-6587
Jilissen, Kevin H. J. https://orcid.org/0000-0002-4697-2011
Laveaux, Maurice https://orcid.org/0000-0001-8732-7580
van Spaendonck, P. H. M. https://orcid.org/0000-0002-9536-1524
Willemse, Tim A. C. https://orcid.org/0000-0003-3049-7962
License Information

Text and Data Mining valid from 2022-01-01

Version of Record valid from 2022-01-01
More Information

Chapter History

First Online: 7 September 2022