![](/img/cover-not-exists.png)
[IEEE 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Orlando, FL, USA (2016.1.7-2016.1.9)] 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) - Comparative Modeling and Verification of Pthreads and Dthreads
Fei, Yuan, Zhu, Huibiao, Wu, Xi, Fang, HuixingYear:
2016
Language:
english
DOI:
10.1109/hase.2016.15
File:
PDF, 397 KB
english, 2016