The following publications are possibly variants of this publication:
- Distributed LTL Model-Checking in SPINJiri Barnat, Lubos Brim, Jitka Stríbrná. spin 2001: 200-216 [doi]
- Distributed breadth-first search LTL model checkingJiri Barnat, Ivana Cerná. fmsd, 29(2):117-134, 2006. [doi]
- From Distributed Memory Cycle Detection to Parallel LTL Model CheckingJiri Barnat, Lubos Brim, Jakub Chaloupka. ENTCS, 133:21-39, 2005. [doi]
- CUDA Accelerated LTL Model CheckingJiri Barnat, Lubos Brim, Milan Ceska, Tomas Lamr. icpads 2009: 34-41 [doi]