Şener, İ. Et Al. 2015. A Tool for Automatic Formal Modeling of Railway Interlocking Systems. 16. International Conference on Computer as a Tool. EUROCON 2015 .

Şener, İ., Kaymakçı, Ö. T., Üstoğlu, İ., & CANSEVER, G., (2015). A Tool for Automatic Formal Modeling of Railway Interlocking Systems . 16. International Conference on Computer as a Tool. EUROCON 2015

Şener, İbrahim Et Al. "A Tool for Automatic Formal Modeling of Railway Interlocking Systems," 16. International Conference on Computer as a Tool. EUROCON 2015, 2015

Şener, İbrahim Et Al. "A Tool for Automatic Formal Modeling of Railway Interlocking Systems." 16. International Conference on Computer as a Tool. EUROCON 2015 , 2015

Şener, İ. Et Al. (2015) . "A Tool for Automatic Formal Modeling of Railway Interlocking Systems." 16. International Conference on Computer as a Tool. EUROCON 2015 .

@conferencepaper{conferencepaper, author={İbrahim ŞENER Et Al. }, title={A Tool for Automatic Formal Modeling of Railway Interlocking Systems}, congress name={16. International Conference on Computer as a Tool. EUROCON 2015}, city={}, country={}, year={2015}}