Showing 1 - 2 results of 2 for search 'Christian Appold', query time: 0.03s Refine Results
  1. 1
    Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking
    by Christian Appold
    Published 2010-06-01
    Get full text
    Article
  2. 2
    Improving BDD Based Symbolic Model Checking with Isomorphism Exploiting Transition Relations
    by Christian Appold
    Published 2011-06-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search