Verification of WCDMA Protocols and Implementation.

Anyi Chen, Jian-Ming Wang, Chiu-Han Hsiao

Browse the full ATVA paper archive.