CacBDD
From MaRDI portal
Software:31228
No author found.
Related Items (3)
Formal verification of a Java component using the RESOLVE framework ⋮ Symbolic Model Checking for Dynamic Epistemic Logic ⋮ Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
This page was built for software: CacBDD
