Temporal Logics for Linear and Branching Time and Model Checking
Crossref DOI link: https://doi.org/10.1007/978-3-031-42034-4_5
Published Online: 2023-10-04
Published Print: 2023
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Polkowski, Lech T.
Text and Data Mining valid from 2023-01-01
Version of Record valid from 2023-01-01
Chapter History
First Online: 4 October 2023