Modular verification of synchronization with reentrant locks

Creative Commons License

Bultan T., Yu F., Can A.

8th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2010, Grenoble, France, 26 - 28 July 2010, pp.59-68, (Full Text) identifier

  • Publication Type: Conference Paper / Full Text
  • Doi Number: 10.1109/memcod.2010.5558623
  • City: Grenoble
  • Country: France
  • Page Numbers: pp.59-68
  • Middle East Technical University Affiliated: Yes