Streett Automata Model Checking of Higher-Order Recursion Schemes

Streett Automata Model Checking of Higher-Order Recursion Schemes
复制标题

高阶递归方案的 Streett 自动机模型检查

DOI：
10.4230/lipics.fscd.2017.32
复制
发表时间：
2017
期刊：
Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction
影响因子：
--
通讯作者：
Naoki Kobayashi and Takeshi Tsukada
Naoki Kobayashi and Takeshi Tsukada
中科院分区：
--
文献类型：
--
作者：
Ryota Suzuki;Koichi Fujima;Naoki Kobayashi and Takeshi Tsukada

文献摘要

相似文献