2018-06-13
New Directions in Model Checking Dynamic Epistemic Logic
Publication
Publication
Additional Metadata | |
---|---|
D.J.N. van Eijck (Jan) | |
Universiteit van Amsterdam | |
Organisation | Software Analysis and Transformation |
Gattinger, M. (2018, June 13). New Directions in Model Checking Dynamic Epistemic Logic. |