✦ LIBER ✦

Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal

✍ Scribed by H. Bowman; G. Faconti; J.-P. Katoen; D. Latella; M. Massink

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mechanical verification of the IEEE 1394

✍ David P.L. Simons; Mariëlle I.A. Stoelinga 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 331 KB

Automatic verification of concurrent sys

✍ Antonella Santone 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 352 KB

Automatic Verification of a Behavioural

✍ Diego Latella; Istvan Majzik; Mieke Massink 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 255 KB