Media type: E-Article Title: Refinement checking on parametric modal transition systems Contributor: Beneš, Nikola; Křetínský, Jan; Larsen, Kim G.; Møller, Mikael H.; Sickert, Salomon; Srba, Jiří imprint: Springer Science and Business Media LLC, 2015 Published in: Acta Informatica Language: English DOI: 10.1007/s00236-015-0215-4 ISSN: 0001-5903; 1432-0525 Keywords: Computer Networks and Communications ; Information Systems ; Software Origination: Footnote: