Sciweavers

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