Efficient Büchi Automata from LTL Formulae 论文
2000Lecture notes in computer science引用 294
Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques
详细信息
- 发表期刊/会议
- Lecture notes in computer science
- 发表日期
- 2000-01-01
- 发表年份
- 2000
关键词
Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques