Results (1)

  • Lumpability abstractions of rule-based systems
    Conference paper