Symbolic Model Checking without BDDs 论文
1999Lecture notes in computer science引用 2140
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research
详细信息
- 发表期刊/会议
- Lecture notes in computer science
- 发表日期
- 1999-01-01
- 发表年份
- 1999
关键词
Formal Methods in VerificationSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research