Automatic verification of distributed systems: The process algebra approach Paola InverardiCorrado Priami OriginalPaper Pages: 7 - 38
Combining partial order reductions with on-the-fly model-checking Doron Peled OriginalPaper Pages: 39 - 64
On the computational power of binary decision diagram with redundant variables Tetsuya YamadaHiroto Yasuura OriginalPaper Pages: 65 - 89