✦ LIBER ✦

Guest editors’ introduction: Advancements and extensions of verification techniques

✍ Scribed by Joost-Pieter Katoen; Perdita Stevens

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guest Editors' Introduction: Attacking F

✍ Bhadra, J.; Abadir, M.S.; Wang, L.-C. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 101 KB

Robot challenges: Toward development of

✍ Kress-Gazit, H. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 216 KB

Guest editor’s introduction: Special iss

✍ Roberto M. Amadio 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 123 KB

Special Issue on Graph Transformation an

✍ Fish, Andrew; Lambers, Leen 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 113 KB

Guest editors’ introduction: Special iss

✍ P.R. D’Argenio; J.C.M. Baeten 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 56 KB

Guest Editors' Introduction: History of

✍ Grad, Burton ;Bergin, Thomas J. 📂 Article 📅 2009 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 526 KB