Depth Bounded Explicit-State Model Checking.

Published in Model Checking Software - 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings., 2011

Download paper here