Yuan-fei, Huibiao Zhu, Xi Wu, Huixing Fang. Comparative Modeling and Verification of Pthreads and Dthreads. In Radu F. Babiceanu, Hélène Waeselynck, Raymond A. Paul, Bojan Cukic, Jie Xu, editors, 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, FL, USA, January 7-9, 2016. pages 132-140, IEEE, 2016. [doi]
Abstract is missing.