İ. ŞENER Et Al. , "Specification and formal verification of safety properties in point automation system by using timed arc Petri nets," IFAC 2014, 19th World Congress of the International Federation of Automatic Control , 2014
ŞENER, İ. Et Al. 2014. Specification and formal verification of safety properties in point automation system by using timed arc Petri nets. IFAC 2014, 19th World Congress of the International Federation of Automatic Control .
ŞENER, İ., KAYMAKÇI, Ö. T., ÜSTOĞLU, İ., & CANSEVER, G., (2014). Specification and formal verification of safety properties in point automation system by using timed arc Petri nets . IFAC 2014, 19th World Congress of the International Federation of Automatic Control
ŞENER, İBRAHİM Et Al. "Specification and formal verification of safety properties in point automation system by using timed arc Petri nets," IFAC 2014, 19th World Congress of the International Federation of Automatic Control, 2014
ŞENER, İBRAHİM Et Al. "Specification and formal verification of safety properties in point automation system by using timed arc Petri nets." IFAC 2014, 19th World Congress of the International Federation of Automatic Control , 2014
ŞENER, İ. Et Al. (2014) . "Specification and formal verification of safety properties in point automation system by using timed arc Petri nets." IFAC 2014, 19th World Congress of the International Federation of Automatic Control .
@conferencepaper{conferencepaper, author={İBRAHİM ŞENER Et Al. }, title={Specification and formal verification of safety properties in point automation system by using timed arc Petri nets}, congress name={IFAC 2014, 19th World Congress of the International Federation of Automatic Control}, city={}, country={}, year={2014}}