Functional specification and proof of correctness for time dependent behaviour of reactive systems
Vangalur S. Alagar; Geetha Ramanathan
- 作者Vangalur S. Alagar; Geetha Ramanathan
- 卷第3卷
- 期第3期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小1666.62KB
- 发表时间1991-0709
- DOI10.1007/bf01245633
- 页码253-283