Sciweavers

11547 search results - page 152 / 2310
» Quantum computing and communication
Sort
View
IPPS
1998
IEEE
15 years 8 months ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...