T. Bultan Et Al. , "Modular verification of synchronization with reentrant locks," 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010 , Grenoble, France, pp.59-68, 2010
Bultan, T. Et Al. 2010. Modular verification of synchronization with reentrant locks. 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010 , (Grenoble, France), 59-68.
Bultan, T., Yu, F., & Can, A., (2010). Modular verification of synchronization with reentrant locks . 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010 (pp.59-68). Grenoble, France
Bultan, Tevfik, Fang Yu, And AYSU BETİN CAN. "Modular verification of synchronization with reentrant locks," 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010, Grenoble, France, 2010
Bultan, Tevfik Et Al. "Modular verification of synchronization with reentrant locks." 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010 , Grenoble, France, pp.59-68, 2010
Bultan, T. Yu, F. And Can, A. (2010) . "Modular verification of synchronization with reentrant locks." 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010 , Grenoble, France, pp.59-68.
@conferencepaper{conferencepaper, author={Tevfik Bultan Et Al. }, title={Modular verification of synchronization with reentrant locks}, congress name={8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010}, city={Grenoble}, country={France}, year={2010}, pages={59-68} }