A Certified Thread Library for Multithreaded User Programs
Mon, 08/17/2009 - 13:32 — nate
| Title | A Certified Thread Library for Multithreaded User Programs |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Guo, Y, Jiang X, Chen Y, Lin C |
| Conference Name | Proceedings of 1st IEEE IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE 2007) |
| Date Published | Jun |
| Publisher | IEEE Computer Society |
| Conference Location | Shanghai, China |
| Attachment | Size |
|---|---|
| guo07tase.pdf | 319.29 KB |