Betin-Can, A. And Bultan, T. 2003. Interface-based specification and verification of concurrency controllers. Electronic Notes in Theoretical Computer Science , vol.89, no.3 , 464-479.

Betin-Can, A., & Bultan, T., (2003). Interface-based specification and verification of concurrency controllers. Electronic Notes in Theoretical Computer Science , vol.89, no.3, 464-479.

Betin-Can, AYSU, And Tevfik Bultan. "Interface-based specification and verification of concurrency controllers," Electronic Notes in Theoretical Computer Science , vol.89, no.3, 464-479, 2003

Betin-Can, AYSU B. And Bultan, Tevfik. "Interface-based specification and verification of concurrency controllers." Electronic Notes in Theoretical Computer Science , vol.89, no.3, pp.464-479, 2003

Betin-Can, A. And Bultan, T. (2003) . "Interface-based specification and verification of concurrency controllers." Electronic Notes in Theoretical Computer Science , vol.89, no.3, pp.464-479.

@article{article, author={AYSU BETİN CAN And author={Tevfik Bultan}, title={Interface-based specification and verification of concurrency controllers}, journal={Electronic Notes in Theoretical Computer Science}, year=2003, pages={464-479} }