author = { Beneš, Nikola AND Křetínský, Jan AND Larsen, Kim G. AND Srba, Jiří },

title = { EXPTIME-completeness of thorough refinement on modal transition systems },

publisher = {Elsevier BV},

isbn = {0890-5401},

keywords = { Computational Theory and Mathematics , Computer Science Applications , Information Systems , Theoretical Computer Science },

year = {2012},

url = { http://slubdd.de/katalog?TN_libero_mab2 }