TY - GEN
AU - Beneš, Nikola
AU - Křetínský, Jan
AU - Larsen, Kim G.
AU - Srba, Jiří
TI - EXPTIME-completeness of thorough refinement on modal transition systems
PB - Elsevier BV
SN - 0890-5401
KW - Computational Theory and Mathematics
KW - Computer Science Applications
KW - Information Systems
KW - Theoretical Computer Science
PY - 2012
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation