✦ LIBER ✦
Unifying proof methodologies of duration calculus and timed linear temporal logic
✍ Scribed by Zhiming Liu; Anders P. Ravn; Xiaoshan Li
- Publisher
- Springer
- Year
- 2004
- Tongue
- English
- Weight
- 152 KB
- Volume
- 16
- Category
- Article
- ISSN
- 0934-5043
No coin nor oath required. For personal study only.