Betin-Can, A. Et Al. 2013. Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces. IEEE Transactions on Services Computing , vol.6, no.2 , 262-275.

Betin-Can, A., Hallé, S., & Bultan, T., (2013). Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces. IEEE Transactions on Services Computing , vol.6, no.2, 262-275.

Betin-Can, AYSU, Sylvain Hallé, And Tevfik Bultan. "Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces," IEEE Transactions on Services Computing , vol.6, no.2, 262-275, 2013

Betin-Can, AYSU B. Et Al. "Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces." IEEE Transactions on Services Computing , vol.6, no.2, pp.262-275, 2013

Betin-Can, A. Hallé, S. And Bultan, T. (2013) . "Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces." IEEE Transactions on Services Computing , vol.6, no.2, pp.262-275.

@article{article, author={AYSU BETİN CAN Et Al. }, title={Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces}, journal={IEEE Transactions on Services Computing}, year=2013, pages={262-275} }