Kara, A. Et Al. 2015. A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B. COMPUTER JOURNAL , vol.58, no.11 , 2804-2823.

Kara, A., Oguztuzun, H., & Alpdemir, M. N., (2015). A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B. COMPUTER JOURNAL , vol.58, no.11, 2804-2823.

Kara, Ahmet, MEHMET HALİT S. OĞUZTÜZÜN, And M. Nedim Alpdemir. "A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B," COMPUTER JOURNAL , vol.58, no.11, 2804-2823, 2015

Kara, Ahmet Et Al. "A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B." COMPUTER JOURNAL , vol.58, no.11, pp.2804-2823, 2015

Kara, A. Oguztuzun, H. And Alpdemir, M. N. (2015) . "A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B." COMPUTER JOURNAL , vol.58, no.11, pp.2804-2823.

@article{article, author={Ahmet Kara Et Al. }, title={A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B}, journal={COMPUTER JOURNAL}, year=2015, pages={2804-2823} }