6 search results - page 2 / 2 » iwfm 2000 |
150
click to vote
IWFM
2000
15 years 4 months ago
2000
ct Increasingly, model checking is being applied to more abstract problem domains than the traditional protocol analysis. The extent to which such an approach is able to provide us...