✦ LIBER ✦

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 3442 || Automated Compositional Proofs for Real-Time Systems

✍ Scribed by Cerioli, Maura

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Fund

✍ Cerioli, Maura 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 678 KB

[Lecture Notes in Computer Science] Fund

✍ de Lara, Juan; Zisman, Andrea 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 289 KB

[Lecture Notes in Computer Science] Fund

✍ de Lara, Juan; Zisman, Andrea 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 264 KB

[Lecture Notes in Computer Science] Fund

✍ Hussmann, Heinrich 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 198 KB

[Lecture Notes in Computer Science] Fund

✍ Giannakopoulou, Dimitra; Orejas, Fernando 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 338 KB

[Lecture Notes in Computer Science] Fund

✍ Rosenblum, David S.; Taentzer, Gabriele 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 923 KB