Citation Formats

MLA

Hassan, Zyad. Incremental, Inductive Model Checking.

APA

Hassan, Z. Incremental, Inductive Model Checking.

Chicago

Hassan, Zyad. Incremental, Inductive Model Checking.