Naoya Nitta, Hiroyuki Seki: "An extension of pushdown system and its model checking method"Proceedings of the 14^<th> International Conference on Concurrency Theory (CONCUR2003), LNCS 2761. 281-295 (2003)
Naoya Nitta, Hiroyuki Seki: "An extension of pushdown system and its model checking method"Proceedings of the 14^<th> International Conference on Concurrency Theory (CONCUR2003), LNCS 2761. 281-295 (2003)
复制标题
Naoya Nitta、Hiroyuki Seki：“下推系统的扩展及其模型检验方法”第 14 届国际并发理论会议论文集 (CONCUR2003)，LNCS 2761. 281-295 (2003)
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
