✦ LIBER ✦

UppDMC: A Distributed Model Checker for Fragments of the μ-Calculus

✍ Scribed by Fredrik Holmén; Martin Leucker; Marcus Lindström

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A finite model theorem for the propositi

✍ Dexter Kozen 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 466 KB

The α-μ Distribution: A Physical Fading

✍ Yacoub, M. D. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 249 KB

A model for charge state distributions o

✍ P.J. Cooney; A. Faibis; E.P. Kanter; W. Koenig; D. Maor; B.J. Zabransky 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 779 KB

Continuously distributed phase shifts by

✍ Hillmer, H.; Grabmaier, A.; Burkhard, H. 📂 Article 📅 1997 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 624 KB

A remark on the rapidity distribution of

✍ T. T. Gien 📂 Article 📅 1973 🏛 Società Italiana di Fisica ⚖ 174 KB

A model of distributed recovery for the

✍ I Lehmann; F Höpfl 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 529 KB