Sciweavers

41650 search results - page 212 / 8330
» Distribution of
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...