2009
Dynamic Epistemic Logic for Protocol Analysis
Publication
Publication
Additional Metadata | |
---|---|
Amsterdam University Press | |
D.J.N. van Eijck (Jan) , R. Verbrugge (Rineke) | |
Texts in Logic and Games | |
Organisation | Software Analysis and Transformation |
Dechesne, F., van Eijck, J., Teepe, W., & Wang, Y. (2009). Dynamic Epistemic Logic for Protocol Analysis. In J. van Eijck & R. Verbrugge (Eds.), Discourses on Social Software (pp. 135–146). Amsterdam University Press. |
See Also |
---|
bookChapter
|
bookChapter
|
bookChapter
|
bookChapter
|