Authors
B.R.M. Gattinger
Stefano Volpe
Bas Laarakker
Daniel Miedema
Date (dd-mm-yyyy)
2024-04-24
Title
SMCDEL version 1.3.0
Subtitle
An Implementation of Symbolic Model Checking for Dynamic Epistemic Logic with Binary Decision Diagrams
Publication Year
2024-04-24
Document type
Software
URL
go to publisher's site
Permalink
https://hdl.handle.net/11245.1/6d5a3dc7-f5f3-460f-b795-8fb0c7761c07