On Model-Checking Trees Generated by Higher-Order Recursion Schemes 论文

2006引用 262
DOI
Formal Methods in VerificationLogic, programming, and type systemsLogic, Reasoning, and Knowledge
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

On Model-Checking Trees Generated by Higher-Order Recursion Schemes · 相关技术

相关技术

Formal Methods in Verification