![](/img/cover-not-exists.png)
Handbook of Parallel Constraint Reasoning || Parallel Model Checking Algorithms for Linear-Time Temporal Logic
Hamadi, Youssef, Sais, LakhdarVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-63516-3_12
File:
PDF, 1011 KB
english, 2018