TravMC

swMATH9396MaRDI QIDQ21379FDOQ21379

Author name not available (Why is that?)

Cited In (2)

• A traversal-based algorithm for higher-order model checking
• Streett Automata Model Checking of Higher-Order Recursion Schemes

This page was built for software: TravMC