Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault. Parallel Model Checking Algorithms for Linear-Time Temporal Logic. In Youssef Hamadi, Lakhdar Sais, editors, Handbook of Parallel Constraint Reasoning. pages 457-507, Springer, 2018. [doi]
Abstract is missing.