1. Comparative modelling and verification of Pthreads and Dthreads. Issue 3 (17th November 2017) Authors: Fei, Yuan; Zhu, Huibiao; Wu, Xi; Fang, Huixing; Qin, Shengchao Other Names: Babiceanu Radu guestEditor.; Waeselynck Hélène guestEditor. Journal: Journal of software Issue: Volume 30:Issue 3(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗