Results (2)

  • Causality-based model checking
    Conference paper
  • Lumpability abstractions of rule-based systems
    Conference paper