CacBDD

swMATH19401MaRDI QIDQ31228FDOQ31228

Author name not available (Why is that?)

Cited In (3)

• Formal verification of a Java component using the RESOLVE framework
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• Symbolic Model Checking for Dynamic Epistemic Logic

This page was built for software: CacBDD