Authors B.R.M. Gattinger Date (dd-mm-yyyy) 2017 Title SMCDEL Subtitle A symbolic model checker for Dynamic Epistemic Logic. Publication Year 2017 Document type Software Permalink https://hdl.handle.net/11245.1/fa0f79ba-e343-45de-b42e-61a9ab3f7240