✦ LIBER ✦
Concurrency theory: timed automata, testing, program synthesis
✍ Scribed by Davide Sangiorgi
- Publisher
- Springer-Verlag
- Year
- 2011
- Tongue
- English
- Weight
- 88 KB
- Volume
- 25
- Category
- Article
- ISSN
- 0178-2770
No coin nor oath required. For personal study only.