Sciweavers

3181 search results - page 9 / 637
» Automated Deployment Support for Parallel Distributed Comput...
Sort
View
IPPS
1998
IEEE
13 years 12 months ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...