Year	2010
Authors	FANG YU
Paper Title	Tevfik Bultan;Fang Yu;Aysu Betin Can, 2010.08, 'Modular Verification of Synchronization with Reentrant Locks, ' the IEEE/ACM 8th International Conference on Formal Methods and Models for Codesign.(ACM, IEEE)
Date of Publication	2010-08-01
ISI Number	316594