[Lecture Notes in Computer Science] Formal Systems Specification Volume 1169 || Constraint oriented temporal logic specification
Broy, Manfred; Merz, Stephan; Spies, Katharina
- 作者Broy, Manfred; Merz, Stephan; Spies, Katharina
- 文件大小1136.63KB
- 发表时间1996
- DOI10.1007/BFb0024429
- 页码161-182