Results (7)

  • Lumpability abstractions of rule-based systems
    Conference paper