Model Checking Concurrent Linux Device Drivers
| Principais autores: | , , , |
|---|---|
| Formato: | Conference item |
| Publicado em: |
IEEE
2007
|
| _version_ | 1826283635808927744 |
|---|---|
| author | Witkowski, T Blanc, N Weissenbacher, G Kroening, D |
| author_facet | Witkowski, T Blanc, N Weissenbacher, G Kroening, D |
| author_sort | Witkowski, T |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T01:01:51Z |
| format | Conference item |
| id | oxford-uuid:89fef4d7-2e32-43cb-9bd7-772b27f74b7e |
| institution | University of Oxford |
| last_indexed | 2024-03-07T01:01:51Z |
| publishDate | 2007 |
| publisher | IEEE |
| record_format | dspace |
| spelling | oxford-uuid:89fef4d7-2e32-43cb-9bd7-772b27f74b7e2022-03-26T22:28:24ZModel Checking Concurrent Linux Device DriversConference itemhttp://purl.org/coar/resource_type/c_5794uuid:89fef4d7-2e32-43cb-9bd7-772b27f74b7eDepartment of Computer ScienceIEEE2007Witkowski, TBlanc, NWeissenbacher, GKroening, D |
| spellingShingle | Witkowski, T Blanc, N Weissenbacher, G Kroening, D Model Checking Concurrent Linux Device Drivers |
| title | Model Checking Concurrent Linux Device Drivers |
| title_full | Model Checking Concurrent Linux Device Drivers |
| title_fullStr | Model Checking Concurrent Linux Device Drivers |
| title_full_unstemmed | Model Checking Concurrent Linux Device Drivers |
| title_short | Model Checking Concurrent Linux Device Drivers |
| title_sort | model checking concurrent linux device drivers |
| work_keys_str_mv | AT witkowskit modelcheckingconcurrentlinuxdevicedrivers AT blancn modelcheckingconcurrentlinuxdevicedrivers AT weissenbacherg modelcheckingconcurrentlinuxdevicedrivers AT kroeningd modelcheckingconcurrentlinuxdevicedrivers |