O. Eris And İ. Mutlu, "Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems," 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010) , Singapore, Singapore, pp.776-780, 2010
Eris, O. And Mutlu, İ. 2010. Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems. 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010) , (Singapore, Singapore), 776-780.
Eris, O., & Mutlu, İ., (2010). Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems . 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010) (pp.776-780). Singapore, Singapore
Eris, Oytun, And İlhan Mutlu. "Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems," 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010), Singapore, Singapore, 2010
Eris, Oytun And Mutlu, İlhan. "Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems." 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010) , Singapore, Singapore, pp.776-780, 2010
Eris, O. And Mutlu, İ. (2010) . "Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems." 11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010) , Singapore, Singapore, pp.776-780.
@conferencepaper{conferencepaper, author={Oytun Eris And author={İlhan Mutlu}, title={Design of Signal Control Structures Using Formal Methods for Railway Interlocking Systems}, congress name={11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010)}, city={Singapore}, country={Singapore}, year={2010}, pages={776-780} }