TravMC

swMATH9396MaRDI QIDQ21379FDOQ21379

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?doid=2364527.2364578

Cited In (4)

• TRecS
• TravMC2
• 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