A. Betin-Can And T. Bultan, "Verifiable concurrent programming using concurrency controllers," 19th IEEE International Conference on Automated Software Engineering , Linz, Austria, pp.248-257, 2004
Betin-Can, A. And Bultan, T. 2004. Verifiable concurrent programming using concurrency controllers. 19th IEEE International Conference on Automated Software Engineering , (Linz, Austria), 248-257.
Betin-Can, A., & Bultan, T., (2004). Verifiable concurrent programming using concurrency controllers . 19th IEEE International Conference on Automated Software Engineering (pp.248-257). Linz, Austria
Betin-Can, AYSU, And T Bultan. "Verifiable concurrent programming using concurrency controllers," 19th IEEE International Conference on Automated Software Engineering, Linz, Austria, 2004
Betin-Can, AYSU B. And Bultan, T. "Verifiable concurrent programming using concurrency controllers." 19th IEEE International Conference on Automated Software Engineering , Linz, Austria, pp.248-257, 2004
Betin-Can, A. And Bultan, T. (2004) . "Verifiable concurrent programming using concurrency controllers." 19th IEEE International Conference on Automated Software Engineering , Linz, Austria, pp.248-257.
@conferencepaper{conferencepaper, author={AYSU BETİN CAN And author={T Bultan}, title={Verifiable concurrent programming using concurrency controllers}, congress name={19th IEEE International Conference on Automated Software Engineering}, city={Linz}, country={Austria}, year={2004}, pages={248-257} }