Cited By
View all- Cook BKhazem KKroening DTasiran STautschnig MTuttle M(2020)Model checking boot code from AWS data centersFormal Methods in System Design10.1007/s10703-020-00344-2Online publication date: 15-Apr-2020
- Cook BKhazem KKroening DTasiran STautschnig MTuttle M(2018)Model Checking Boot Code from AWS Data CentersComputer Aided Verification10.1007/978-3-319-96142-2_28(467-486)Online publication date: 18-Jul-2018
- Godboley SDutta AMohapatra D(2017)Green DRCTInternational Journal of Knowledge Discovery in Bioinformatics10.4018/IJKDB.20170101027:1(14-29)Online publication date: Jan-2017
- Show More Cited By