Model Checking Concurrent Linux Device Drivers
| Egile Nagusiak: | , , , |
|---|---|
| Formatua: | Conference item |
| Argitaratua: |
IEEE
2007
|
Search Result 1
| Egile Nagusiak: | , , , |
|---|---|
| Formatua: | Conference item |
| Argitaratua: |
IEEE
2007
|