Model Checking Concurrent Linux Device Drivers
Những tác giả chính: | , , , |
---|---|
Định dạng: | Conference item |
Được phát hành: |
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 |