Sciweavers

208 search results - page 4 / 42
» ipps 1998
Sort
View
IPPS
1998
IEEE
14 years 23 days ago
Automated Verification of Communication Protocols Using CCS and BDDs
Reiner Lichtenecker, Klaus Gotthardt, Janusz Zalew...