𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of a sliding window protocol inμCRL and PVS

✍ Scribed by Bahareh Badban; Wan Fokkink; Jan Friso Groote; Jun Pang; Jaco van de Pol

Book ID
105844903
Publisher
Springer
Year
2005
Tongue
English
Weight
387 KB
Volume
17
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Communications in Computer and Informat
[Communications in Computer and Information Science] Advances in Networks and Communications Volume 132 || Formal Verification of a Secure Mobile Banking Protocol
✍ Meghanathan, Natarajan; Kaushik, Brajesh Kumar; Nagamalai, Dhinaharan 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 225 KB

This volume constitutes the second of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. The 66 revised full papers presented in this volume were carefully reviewed and s

Use of the Fourier Series Window Protoco
Use of the Fourier Series Window Protocol with a Zig-Zag Surface Coil in 31P NMR Human Skin Spectroscopy. A Theoretical Study
✍ Mark E. Bastin; Alistair G. Cowie; David N. Manners; Linda J. Hands; Peter Style 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 811 KB

The use of a zig-zag surface coil with a three-pulse Fourier Series Window (FSW) has been suggested as a means by which in vivo NMR spectroscopic studies of human skin can be performed. Using direct numerical simulations of the magnetic field profile of a 10 limb zig-zag surface coil, the role of th