TY  - RPRT
TI  - On Refinements of Boolean and Parametric Modal Transition Systems
AU  - Jan Křetínský
AU  - Salomon Sickert
PY  - 2013
UR  - https://arxiv.org/abs/1304.5278
ID  - 1304.5278
ER  -