✦ LIBER ✦
Tool support for learning Büchi automata and linear temporal logic
✍ Scribed by Yih-Kuen Tsay; Yu-Fang Chen; Ming-Hsien Tsai; Kang-Nien Wu; Wen-Chin Chan; Chi-Jian Luo; Jinn-Shu Chang
- Publisher
- Springer
- Year
- 2008
- Tongue
- English
- Weight
- 853 KB
- Volume
- 21
- Category
- Article
- ISSN
- 0934-5043
No coin nor oath required. For personal study only.