CacBDD

swMATH19401MaRDI QIDQ31228FDOQ31228

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-39799-8_15

Cited In (13)

• SableJBDD
• Formal verification of a Java component using the RESOLVE framework
• BDD
• JDD
• Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*
• CUDD
• JTLV
• criterion
• DEMO
• HasCacBDD
• SMCDEL
• Hintikka's world
• Symbolic Model Checking for Dynamic Epistemic Logic

This page was built for software: CacBDD