102
click to vote
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...