✦ LIBER ✦

Model Checking Functional and Performability Properties of Stochastic Fluid Models

✍ Scribed by Marco Gribaudo; András Horváth

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A stochastic micromechanical model for e

✍ S. Rahman; A. Chakraborty 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 610 KB

Comparing Under and Over-Approximations

✍ María del Mar Gallardo; Pedro Merino; Ernesto Pimentel 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 216 KB

Transport properties of the one-dimensio

✍ Henk van Beijeren; Herbert Spohn 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 870 KB

Implementation and performance of variou

✍ Francesco Rapisarda; Roberto Silvotti 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 225 KB

Assessment of hdr reservoir stimulation

✍ Jonathan Willis-Richards 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 952 KB

Properties of a simple bilinear stochast

✍ D. Sornette; V.F. Pisarenko 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 729 KB