✦ LIBER ✦

Guest editors’ introduction: Model checking in a nutshell

✍ Scribed by Holger Hermanns; Joost-Pieter Katoen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guest Editors' Introduction

✍ Michael A. Hoge; John A. Morris 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 43 KB

Guest editors' introduction

✍ Thomas A. Berson; Rainer A. Rueppel 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 77 KB

Guest editors’ introduction: multimedia

✍ Yi-Ping Phoebe Chen; Tat-Seng Chua 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 138 KB

Solid Modeling Guest Editors' Introducti

📂 Article 📅 1982 🏛 IEEE 🌐 English ⚖ 652 KB

Guest Editors’ introduction

✍ Paolo Frasconi; Francesca A. Lisi 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 121 KB

Guest editors' introduction

✍ Edward A. Cook; Joan Hirschman 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 259 KB