Inproceedings,
Model Checking Boot Code from AWS Data Centers.
B. Cook, K. Khazem, D. Kroening, S. Tasiran, M. Tautschnig, and M. Tuttle.CAV (2), volume 10982 of Lecture Notes in Computer Science, page 467-486. Springer, (2018)
Meta data
- BibTeX key
- conf/cav/CookKKTTT18
- entry type
- inproceedings
- booktitle
- CAV (2)
- year
- 2018
- pages
- 467-486
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 10982
- crossref
- conf/cav/2018-2
- ee
- https://doi.org/10.1007/978-3-319-96142-2_28
- isbn
- 978-3-319-96142-2
- url
- http://dblp.uni-trier.de/db/conf/cav/cav2018-2.html#CookKKTTT18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cav/CookKKTTT18
%A Cook, Byron
%A Khazem, Kareem
%A Kroening, Daniel
%A Tasiran, Serdar
%A Tautschnig, Michael
%A Tuttle, Mark R.
%B CAV (2)
%D 2018
%E Chockler, Hana
%E Weissenbacher, Georg
%I Springer
%K dblp
%P 467-486
%T Model Checking Boot Code from AWS Data Centers.
%U http://dblp.uni-trier.de/db/conf/cav/cav2018-2.html#CookKKTTT18
%V 10982
%@ 978-3-319-96142-2
@inproceedings{conf/cav/CookKKTTT18,
added-at = {2020-03-27T00:00:00.000+0100},
author = {Cook, Byron and Khazem, Kareem and Kroening, Daniel and Tasiran, Serdar and Tautschnig, Michael and Tuttle, Mark R.},
biburl = {https://www.bibsonomy.org/bibtex/2a79ceee6e66c89a425342a016b6b236f/dblp},
booktitle = {CAV (2)},
crossref = {conf/cav/2018-2},
editor = {Chockler, Hana and Weissenbacher, Georg},
ee = {https://doi.org/10.1007/978-3-319-96142-2_28},
interhash = {5d50998e1bfee68dc7d5e96474c9ea3a},
intrahash = {a79ceee6e66c89a425342a016b6b236f},
isbn = {978-3-319-96142-2},
keywords = {dblp},
pages = {467-486},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T10:16:55.000+0200},
title = {Model Checking Boot Code from AWS Data Centers.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav2018-2.html#CookKKTTT18},
volume = 10982,
year = 2018
}