Normal view
MARC view
Hardware performance and reliability (Topical Term)
Machine generated authority record.
Work cat.: (OSt)1919: Clarke, Edmund M. (Editor) 6581, Handbook of model checking, c2018