✦ LIBER ✦
EXPTIME-completeness of thorough refinement on modal transition systems
✍ Scribed by Nikola Beneš; Jan Křetínský; Kim G. Larsen; Jiří Srba
- Book ID
- 119257780
- Publisher
- Elsevier Science
- Year
- 2012
- Tongue
- English
- Weight
- 253 KB
- Volume
- 218
- Category
- Article
- ISSN
- 0890-5401
No coin nor oath required. For personal study only.