Canonical regular expressions and minimal state graphs for definite events 论文
1962Princeton University eBooks引用 249
Formal Methods in Verification
详细信息
- 发表期刊/会议
- Princeton University eBooks
- 发表日期
- 1962-01-01
- 发表年份
- 1962
关键词
Formal Methods in Verification
关键词