Sciweavers

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