Can, A. Et Al. 2007. Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. AUTOMATED SOFTWARE ENGINEERING , vol.14, no.2 , 129-178.

Can, A., Bultan, T., LINDVALL, M., Lux, B., & Topp, S., (2007). Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. AUTOMATED SOFTWARE ENGINEERING , vol.14, no.2, 129-178.

Can, AYSU Et Al. "Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers," AUTOMATED SOFTWARE ENGINEERING , vol.14, no.2, 129-178, 2007

Can, AYSU B. Et Al. "Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers." AUTOMATED SOFTWARE ENGINEERING , vol.14, no.2, pp.129-178, 2007

Can, A. Et Al. (2007) . "Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers." AUTOMATED SOFTWARE ENGINEERING , vol.14, no.2, pp.129-178.

@article{article, author={AYSU BETİN CAN Et Al. }, title={Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers}, journal={AUTOMATED SOFTWARE ENGINEERING}, year=2007, pages={129-178} }