A model parametric real-time logic
Morzenti, Angelo; Mandrioli, Dino; Ghezzi, Carlo
- 期刊名称ACM Transactions on Programming Languages and Systems
- 作者Morzenti, Angelo; Mandrioli, Dino; Ghezzi, Carlo
- 卷第14卷
- 期第4期
- 印刷ISSN0164-0925
- 文件大小3461.38KB
- 发表时间1992-10-1
- DOI10.1145/133233.129397
- 页码521-573