Skip to main navigation Skip to search Skip to main content

Incremental bisimulation abstraction refinement

  • Lei Song
  • , Lijun Zhang
  • , H. Hermanns
  • , Jens Chr. Godskesen

    Research output: Contribution to journal › Article › Academic

    4   Link opens in a new tab Citations (Scopus)
    15 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Incremental bisimulation abstraction refinement'. Together they form a unique fingerprint.
    Sort by