[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || Liveness with (0,1, ∞)- Counter Abstraction
Brinksma, Ed; Larsen, Kim Guldstrand
- 作者Brinksma, Ed; Larsen, Kim Guldstrand
- 文件大小266.04KB
- 发表时间2002
- DOI10.1007/3-540-45657-0_9
- 页码107-122