TY  - RPRT
TI  - Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers
AU  - Bence Czipó
AU  - Ákos Hajdu
AU  - Tamás Tóth
AU  - István Majzik
PY  - 2017
DO  - 10.4204/eptcs.245.3
UR  - https://arxiv.org/abs/1703.07350
ID  - 1703.07350
ER  -