TY  - RPRT
TI  - An Efficient Solution for Model Checking Abstract State Machine Using Bogor
AU  - Saeed Doostali
PY  - 2014
DO  - 10.1016/j.jvlc.2012.05.002
UR  - https://arxiv.org/abs/1404.2155
ID  - 1404.2155
ER  -