Kaymakçı, Ö. T. Et Al. 2014. Specification and formal verification of safety properties in point automation system by using timed-arc Petri nets. 19th IFAC World Congress .

Kaymakçı, Ö. T., ÜSTOĞLU, İ., & Cansever, G., (2014). Specification and formal verification of safety properties in point automation system by using timed-arc Petri nets . 19th IFAC World Congress

Kaymakçı, Özgür, İlker ÜSTOĞLU, And Galip CANSEVER. "Specification and formal verification of safety properties in point automation system by using timed-arc Petri nets," 19th IFAC World Congress, 2014

Kaymakçı, Özgür T. Et Al. "Specification and formal verification of safety properties in point automation system by using timed-arc Petri nets." 19th IFAC World Congress , 2014

Kaymakçı, Ö. T. ÜSTOĞLU, İ. And Cansever, G. (2014) . "Specification and formal verification of safety properties in point automation system by using timed-arc Petri nets." 19th IFAC World Congress .

@conferencepaper{conferencepaper, author={Özgür T. Kaymakçı Et Al. }, title={Specification and formal verification of safety properties in point automation system by using timed-arc Petri nets}, congress name={19th IFAC World Congress}, city={}, country={}, year={2014}}