Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Modular Verification of Concurrent Thread Management Yu Guo1 , Xinyu Feng1 , Zhong Shao2 , and Peizhi Shi1 1 University of Science and Technology of China
Add to Reading List
Document Date: 2012-10-04 18:50:54
Open Document
File Size: 146,21 KB
Share Result on Facebook
Modular Verification of Concurrent Thread Management Yu Guo1 , Xinyu Feng1 , Zhong Shao2 , and Peizhi Shi1 1 University of Science and Technology of China