✦ LIBER ✦

Verification of probabilistic systems with faulty communication

✍ Scribed by P.A. Abdulla; N. Bertrand; A. Rabinovich; Ph. Schnoebelen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complexity of verification of nondetermi

✍ M. K. Valiev; M. I. Dekhtyar 📂 Article 📅 2011 🏛 Allerton Press Inc 🌐 English ⚖ 180 KB

Verification of programs with half-duple

✍ Gérard Cécé; Alain Finkel 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 327 KB

The Reliability of Standby Systems with

✍ Downs, T.; Chan, P. K. W. 📂 Article 📅 1981 🏛 Society for Industrial and Applied Mathematics ⚖ 630 KB

Experimental Verification of Laser Commu

✍ Hannan, W. ;Bordogna, J. ;Karlsons, D. 📂 Article 📅 1968 🏛 IEEE 🌐 English ⚖ 220 KB

A note on the verification of automata s

✍ Arnaldo V. Moura; Guilherme A. Pinto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 95 KB

Protection of systems with faulty sealin

✍ Andreev, N. N. ;Lavrinova, N. V. ;Lebedeva, N. A. 📂 Article 📅 2007 🏛 Springer ⚖ 156 KB