The following publications are possibly variants of this publication:
- Distributed Symbolic Model Checking for µ-CalculusOrna Grumberg, Tamir Heyman, Assaf Schuster. cav 2001: 350-362 [doi]
- Scalable Distributed On-the-Fly Symbolic Model CheckingShoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster. FMCAD 2000: 390-404 [doi]
- Scalable distributed on-the-fly symbolic model checkingShoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster. STTT, 4(4):496-504, 2003. [doi]