DMCA

Verifiable Concurrent Programming Using Concurrency Controllers (2004)

Cached

Download Links

by Aysu Betin-can , Tevfik Bultan
Venue:In Proc. of the 19th IEEE Int. Conf. on Automated Software Eng
Citations:19 - 10 self