BARNAT, Jiří,
Luboš BRIM a
Jakub CHALOUPKA. From Distributed Memory Cycle Detection to Parallel LTL Model Checking. In
Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004). Linz, Austria: Institute for Systems Engineering & Automation, Kepler university Linz, 2004, s. 17-34. ISBN 3-902457-03-1.