Meenaksji, B., Bhatnagar, A., & Roy, S. (2006). Automatic Translation of Simulink Models into Input Language of a Model Checker. Presented at the International Conference on Formal Engineering Methods (ICFEM).

Meenaksji, B., A. Bhatnagar, and S. Roy. “Automatic Translation of Simulink Models into Input Language of a Model Checker,” 2006.

Meenaksji B, Bhatnagar A, Roy S. Automatic Translation of Simulink Models into Input Language of a Model Checker. In 2006.

Meenaksji, B., et al. Automatic Translation of Simulink Models into Input Language of a Model Checker. 2006.

Meenaksji B, Bhatnagar A, Roy S. Automatic Translation of Simulink Models into Input Language of a Model Checker. 2006.