Global rebuilding of OBDDs Avoiding Memory Requirement Maxima

Model Checking: A Tutorial Overview

MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes

Sample Method for Minimization of OBDDs

SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics

Model checking: a tutorial overview

Modeling and verification of parallel processes

Model checking

Handbook of automated reasoning