Model Checking Concurrent Linux Device Drivers

Detalhes bibliográficos
Principais autores: Witkowski, T, Blanc, N, Weissenbacher, G, Kroening, D
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