年度	2010
全部作者	郁方
论文名称	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)
发表日期	2010-08-01
ISI Number	316594