Sciweavers

3107 search results - page 8 / 622
» Parallel Communication
Sort
View
IPPS
1998
IEEE
13 years 11 months ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...