6 search results - page 2 / 2 » iwfm 2000 |
IWFM
2000
13 years 6 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...