✦ LIBER ✦

Exact Acceleration of Real-Time Model Checking

✍ Scribed by Martijn Hendriks; Kim G. Larsen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Bounded model checking for knowledge and

✍ Alessio Lomuscio; Wojciech Penczek; Bożena Woźna 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 842 KB

Real-Time Systems || Model Checking of F

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 259 KB 👁 1 views

Parking Can Get You There Faster: Model

✍ M.Oliver Möller 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Design and checking of a large ADA real-

✍ Jean-Louis Théron 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 428 KB

Diagnostic checks of non-standard time s

✍ J. Q. Smith 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 503 KB

Mathematical model of real-time PCR kine

✍ Jana L. Gevertz; Stanley M. Dunn; Charles M. Roth 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 177 KB