HasCacBDD

swMATH29078MaRDI QIDQ40792FDOQ40792

Author name not available (Why is that?)

Official website: https://github.com/m4lvin/HasCacBDD

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

Cited In (6)

• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• criterion
• CacBDD
• DEMO
• SMCDEL
• Symbolic Model Checking for Dynamic Epistemic Logic

This page was built for software: HasCacBDD