%0 Generic
%T Refinement checking on parametric modal transition systems
%A Beneš, Nikola
%A Křetínský, Jan
%A Larsen, Kim G.
%A Møller, Mikael H.
%A Sickert, Salomon
%A Srba, Jiří
%I Springer Science and Business Media LLC
%@ 0001-5903
%@ 1432-0525
%K Computer Networks and Communications
%K Information Systems
%K Software
%D 2015
%C Springer Science and Business Media LLC
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation