Verification of the WAP Transaction Layer.

Yu-Tong He, Ryszard Janicki

Browse the full SEFM paper archive.