1 search results - page 1 / 1 » pstv 1992 |
154
click to vote
PSTV
1992
15 years 4 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...