TY  - RPRT
TI  - Transformation of UML Behavioral Diagrams to Support Software Model Checking
AU  - Luciana Brasil Rebelo dos Santos
AU  - Valdivino Alexandre de Santiago Júnior
AU  - Nandamudi Lankalapalli Vijaykumar
PY  - 2014
DO  - 10.4204/eptcs.147.10
UR  - https://arxiv.org/abs/1404.0855
ID  - 1404.0855
ER  -