BMC via on-the-fly determinization

Toni Jussila, Keijo Heljanko, Ilkka Niemelä. BMC via on-the-fly determinization. Electronic Notes in Theoretical Computer Science, 89(4):561-577, 2003. [doi]

Abstract

Abstract is missing.