Composite model-checking: verification with type-specific symbolic representations.

Tevfik Bultan Richard Gerber Christopher League Composite model-checking: verification with type-specific symbolic representations. 3-50 2000 9 ACM Trans. Softw. Eng. Methodol. 1 http://doi.acm.org/10.1145/332740.332746 db/journals/tosem/tosem9.html#BultanGL00