File(s) not publicly available

Exploiting commutativity and symmetry in model checking.

thesis
posted on 18.03.2014 by Min. Zhou
Exploiting commutativity and symmetry in model checking.

Categories

History

Degree Grantor

University of Illinois at Chicago.

Degree Level

Doctoral

Language

en

Issue date

01/01/2007

File(s) available to UIC only. Log in with UIC Net ID to access:

Exports

Categories

Exports