Sciweavers

11580 search results - page 132 / 2316
» Communication vs. Computation
Sort
View
IPPS
1998
IEEE
14 years 2 months ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...