Ahmet Kara 0001, Halit Oguztüzün, M. Nedim Alpdemir. A Methodology for Resolution Mapping for Cross-Resolution Simulation using Event-B. Comput. J., 58(11):2804-2823, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.