related documents Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking Conference Proceeding
