Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard. Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. Electronic Notes in Theoretical Computer Science, 23(2):88-107, 1999. [doi]

This author has not been identified. Look up 'Jesper B. Møller' in GoogleThis author has not been identified. Look up 'Jakob Lichtenberg' in GoogleThis author has not been identified. Look up 'Henrik Reif Andersen' in GoogleThis author has not been identified. Look up 'Henrik Hulgaard' in Google

runs on WebDSL