𝔖 Bobbio Scriptorium
✦   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


Book ID
120209874
Publisher
Springer Berlin Heidelberg
Year
1998
Weight
263 KB
Category
Article
ISBN
3540492135

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES