Oz, M. A. N. Et Al. 2015. A Tool for Automatic Formal Modeling of Railway Interlocking Systems. International Conference on Computer as a Tool (EUROCON), IEEE , (Salamanca, Mexico), 26-29.

Oz, M. A. N., Sener, I., KAYMAKÇI, Ö. T., Ustoglu, I., & CANSEVER, G., (2015). A Tool for Automatic Formal Modeling of Railway Interlocking Systems . International Conference on Computer as a Tool (EUROCON), IEEE (pp.26-29). Salamanca, Mexico

Oz, Muhammed Et Al. "A Tool for Automatic Formal Modeling of Railway Interlocking Systems," International Conference on Computer as a Tool (EUROCON), IEEE, Salamanca, Mexico, 2015

Oz, Muhammed A. Et Al. "A Tool for Automatic Formal Modeling of Railway Interlocking Systems." International Conference on Computer as a Tool (EUROCON), IEEE , Salamanca, Mexico, pp.26-29, 2015

Oz, M. A. N. Et Al. (2015) . "A Tool for Automatic Formal Modeling of Railway Interlocking Systems." International Conference on Computer as a Tool (EUROCON), IEEE , Salamanca, Mexico, pp.26-29.

@conferencepaper{conferencepaper, author={Muhammed Ali Nur Oz Et Al. }, title={A Tool for Automatic Formal Modeling of Railway Interlocking Systems}, congress name={International Conference on Computer as a Tool (EUROCON), IEEE}, city={Salamanca}, country={Mexico}, year={2015}, pages={26-29} }