Conference
Verifying protocols by model checking: a case study of the wireless application protocol and the model checker SPIN.
Authors
He Y-T; Janicki R
Editors
Lutfiyya H; Singer J; Stewart DA
Pagination
pp. 174-188
Publisher
IBM
Publication Date
January 1, 2004
Conference proceedings
CASCON