Quantitative Hennessy-Milner Theorems via Notions of Density

  • Jonas Forster
  • , Sergey Goncharov
  • , Dirk Hofmann
  • , Pedro Nora
  • , Lutz Schröder
  • , Paul Wild

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Quantitative Hennessy-Milner Theorems via Notions of Density'. Together they form a unique fingerprint.

Keyphrases

Mathematics