HasCacBDD

swMATH29078MaRDI QIDQ40792FDOQ40792

Author name not available (Why is that?)

Source code repository: https://github.com/m4lvin/HasCacBDD

Cited In (2)

• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• Symbolic Model Checking for Dynamic Epistemic Logic

This page was built for software: HasCacBDD