Jiri Barnat, Lubos Brim, Jakub Chaloupka. Parallel Breadth-First Search LTL Model-Checking. In 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada. pages 106-115, IEEE Computer Society, 2003. [doi]
Abstract is missing.