TY -
GEN
AU - Křetínský, Jan
AU - Sickert, Salomon
TI -
Automated Technology for Verification and Analysis: MoTraS: A Tool for Modal Transition Systems and Their Extensions
PB - Springer International Publishing
SN - 0302-9743
SN - 1611-3349
PY - 2013
ER -