Parallel Model Checking Algorithms for Linear-Time Temporal Logic
Crossref DOI link: https://doi.org/10.1007/978-3-319-63516-3_12
Published Online: 2018-04-06
Published Print: 2018
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Barnat, Jiri
Bloemen, Vincent
Duret-Lutz, Alexandre
Laarman, Alfons
Petrucci, Laure
van de Pol, Jaco
Renault, Etienne
License valid from 2018-01-01