Authors

B.R.M. Gattinger

Date (dd-mm-yyyy)

2022-02-22

Title

SMCDEL version 1.2.0

Subtitle

An Implementation of Symbolic Model Checking for Dynamic Epistemic Logic with Binary Decision Diagrams

Publication Year

2022-02-22

Document type

Software

URL

go to publisher's site

Permalink

https://hdl.handle.net/11245.1/4bc4b327-38c3-4e99-84a3-1284ea7a5a49