Kaymakçı, Ö. t. Et Al. 2014. İ.Şener, Ö.T.Kaymakçı, İ.Üstoğlu, G.Cansever "Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets"19th IFAC World Congress. Cape Town, South Africa.. 19th IFAC World Congress. Cape Town, South Africa. .

Kaymakçı, Ö. t., Üstoğlu, İ., & CANSEVER, G., (2014). İ.Şener, Ö.T.Kaymakçı, İ.Üstoğlu, G.Cansever "Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets"19th IFAC World Congress. Cape Town, South Africa. . 19th IFAC World Congress. Cape Town, South Africa.

Kaymakçı, Özgür, İlker Üstoğlu, And Galip CANSEVER. "İ.Şener, Ö.T.Kaymakçı, İ.Üstoğlu, G.Cansever "Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets"19th IFAC World Congress. Cape Town, South Africa.," 19th IFAC World Congress. Cape Town, South Africa., 2014

Kaymakçı, Özgür t. Et Al. "İ.Şener, Ö.T.Kaymakçı, İ.Üstoğlu, G.Cansever "Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets"19th IFAC World Congress. Cape Town, South Africa.." 19th IFAC World Congress. Cape Town, South Africa. , 2014

Kaymakçı, Ö. t. Üstoğlu, İ. And CANSEVER, G. (2014) . "İ.Şener, Ö.T.Kaymakçı, İ.Üstoğlu, G.Cansever "Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets"19th IFAC World Congress. Cape Town, South Africa.." 19th IFAC World Congress. Cape Town, South Africa. .

@conferencepaper{conferencepaper, author={Özgür turay Kaymakçı Et Al. }, title={İ.Şener, Ö.T.Kaymakçı, İ.Üstoğlu, G.Cansever "Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets"19th IFAC World Congress. Cape Town, South Africa.}, congress name={19th IFAC World Congress. Cape Town, South Africa.}, city={}, country={}, year={2014}}