✦ LIBER ✦

Preface to the special issue on Probabilistic Model Checking

✍ Scribed by Baier, Christel; Kwiatkowska, Marta

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Preface to the special issue on energy m

✍ Apt, Jay; Secomandi, Nicola 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 109 KB

Preface to special issue on student mode

📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 244 KB

Preface to a special section on verifica

✍ Neil D. Jones; Markus Müller-Olm 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 91 KB

Preface to the Special Issue on Copula M

✍ Christian Genest 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 143 KB

Preface to the Ocean Modelling special i

✍ Stephen Griffies 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 105 KB

Preface to the special issue on tableaux

✍ Graham Wrightson 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 85 KB