✦ LIBER ✦
A unified linear-time temporal logic solution to the steam-boiler control specification problem
✍ Scribed by An Yan; Zhisong Tang
- Book ID
- 105655614
- Publisher
- SP Science China Press
- Year
- 1999
- Tongue
- English
- Weight
- 415 KB
- Volume
- 42
- Category
- Article
- ISSN
- 1006-9321
No coin nor oath required. For personal study only.