✦ LIBER ✦

[Lecture Notes in Computer Science] Compositionality: The Significant Difference Volume 1536 || Compositional Verification of Multi-Agent Systems: a Formal Analysis of Pro-activeness and Reactiveness

✍ Scribed by de Roever, Willem-Paul; Langmaack, Hans; Pnueli, Amir

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Agen

✍ Giorgini, Paolo; Müller, Jörg P.; Odell, James 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 208 KB

[Lecture Notes in Computer Science] Form

✍ Hinchey, Michael G.; Rash, James L.; Truszkowski, Walter F.; Rouff, Christopher 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 389 KB

[Lecture Notes in Computer Science] Tool

✍ Hermanns, Holger; Palsberg, Jens 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 297 KB