Login / Signup

Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes.

Koichi FujimaSohei ItoNaoki Kobayashi
Published in: APLAS (2013)
Keyphrases