DMCA

Verification of the WAP Transaction Layer Using the Model Checker SPIN

Cached

Download Links

by Yu-Tong He