✦ LIBER ✦

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 7795 || Model Checking Agent Knowledge in Dynamic Access Control Policies

✍ Scribed by Piterman, Nir; Smolka, Scott A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Tool

✍ Piterman, Nir; Smolka, Scott A. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 280 KB

[Lecture Notes in Computer Science] Tool

✍ Piterman, Nir; Smolka, Scott A. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 288 KB

[Lecture Notes in Computer Science] Tool

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

[Lecture Notes in Computer Science] Tool

✍ Piterman, Nir; Smolka, Scott A. 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg ⚖ 211 KB

[Lecture Notes in Computer Science] Tool

✍ Ramakrishnan, C. R.; Rehof, Jakob 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 530 KB

[Lecture Notes in Computer Science] Tool

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 51 KB