A. Betin-Can Et Al. , "Application of design for verification with concurrency controllers to air traffic control software," 20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005 , Long Beach, CA, United States Of America, pp.14-23, 2005
Betin-Can, A. Et Al. 2005. Application of design for verification with concurrency controllers to air traffic control software. 20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005 , (Long Beach, CA, United States Of America), 14-23.
Betin-Can, A., Bultan, T., Lindvall, M., Lux, B., & Topp, S., (2005). Application of design for verification with concurrency controllers to air traffic control software . 20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005 (pp.14-23). Long Beach, CA, United States Of America
Betin-Can, AYSU Et Al. "Application of design for verification with concurrency controllers to air traffic control software," 20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005, Long Beach, CA, United States Of America, 2005
Betin-Can, AYSU B. Et Al. "Application of design for verification with concurrency controllers to air traffic control software." 20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005 , Long Beach, CA, United States Of America, pp.14-23, 2005
Betin-Can, A. Et Al. (2005) . "Application of design for verification with concurrency controllers to air traffic control software." 20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005 , Long Beach, CA, United States Of America, pp.14-23.
@conferencepaper{conferencepaper, author={AYSU BETİN CAN Et Al. }, title={Application of design for verification with concurrency controllers to air traffic control software}, congress name={20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005}, city={Long Beach, CA}, country={United States Of America}, year={2005}, pages={14-23} }