Model Checking of Software Systems under Weak Memory Models
- Författare
- Tuan-Phong Ngo
- (Tuan-Phong Ngo.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Acta Universitatis Upsaliensis | 2019 | Sverige, Uppsala | 61 sidor. | 978-91-513-0506-6 |
| Acta Universitatis Upsaliensis | 2019 | Sverige, Uppsala | 61 |