![](/img/cover-not-exists.png)
[IEEE 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Grenoble, France (2010.07.26-2010.07.28)] Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010) - Modular verification of synchronization with reentrant locks
Bultan, Tevfik, Yu, Fang, Can, Aysu BetinYear:
2010
Language:
english
DOI:
10.1109/memcod.2010.5558623
File:
PDF, 677 KB
english, 2010