%0 Graduate Thesis Or Dissertation %T Incremental, Inductive Model Checking %A Hassan, Zyad %8 2019-11-14 %R http://localhost/files/kh04dp84d %G http://id.loc.gov/vocabulary/iso639-2/eng %[ 2019-11-14 %9 Dissertation %~ CU Scholar %W CU Boulder