On Refinements of Boolean and Parametric Modal Transition Systems.

Jan Kretnsk, Salomon Sickert

Browse the full ICTAC paper archive.