✦ LIBER ✦

Hierarchical protocol analysis by temporal logic

✍ Scribed by Yulin Feng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Description and verification of protocol

✍ Ichiro Koshida; Tadao Saito; Hiroshi Inose 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 629 KB

Temporal Logic.by Nicholas Rescher

✍ Review by: Robert A. Bull 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 104 KB

Specifying and verifying interaction pro

✍ Laura Giordano; Alberto Martelli; Camilla Schwind 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 239 KB

Compiler Optimization Correctness by Tem

✍ David Lacey; Neil D. Jones; Eric Van Wyk; Carl Christian Frederiksen 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 204 KB

Formal analysis of the alternating bit p

✍ Suzuki, I. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 831 KB

Hierarchical fully bayesian spatio-tempo

✍ Mark Woolrich; Michael Brady; Stephen M. Smith 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 338 KB