TY  - RPRT
TI  - Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS
AU  - Tobias Rosenberger
AU  - Saddek Bensalem
AU  - Alexander Knapp
AU  - Markus Roggenbach
PY  - 2020
UR  - https://arxiv.org/abs/2011.00556
ID  - 2011.00556
ER  -