CCS expressions, finite state processes, and three problems of equivalence 论文

1990Information and Computation引用 535

Formal Methods in Verificationsemigroups and automata theoryMachine Learning and Algorithms

人工智能 Machine Learning and Algorithms semigroups and automata theory Formal Methods in Verification

相关技术:Machine Learning and Algorithms Formal Methods in Verification

2

作者

2

相关技术

0

相关事件

0

相关文章

详细信息

发表期刊/会议: Information and Computation
发表日期: 1990-05-01
发表年份: 1990

关键词

Formal Methods in Verificationsemigroups and automata theoryMachine Learning and Algorithms

作者查看全部 (2)

Scott A. Smolka

Paris C. Kanellakis

相关技术查看全部 (2)

Machine Learning and Algorithms Formal Methods in Verification

相关事件

暂无数据

相关文章

暂无数据