Quantitative Hennessy-Milner Theorems via Notions of Density (bibtex)

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

Reference:

Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild: Quantitative Hennessy-Milner Theorems via Notions of Density, In Bartek Klin, Elaine Pimentel, eds.: 31th EACSL Annual Conference on Computer Science Logic, CSL 2023, LIPIcs, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023.

Bibtex Entry:

@string{lipics="LIPIcs"}
@InProceedings{   ForsterGoncharovEtAl23,
  title         = {Quantitative Hennessy-Milner Theorems via Notions of
                  Density},
  author        = {Jonas Forster and Sergey Goncharov and Dirk Hofmann and
                  Pedro Nora and Lutz Schröder and Paul Wild},
  year          = {2023},
  editor        = {Bartek Klin and Elaine Pimentel},
  booktitle     = {31th {EACSL} Annual Conference on Computer Science Logic,
                  {CSL} 2023},
  nobooktitle   = {Computer Science Logic, {CSL} 2023},
  series        = {LIPIcs},
  novolume      = {152},
  nopages       = {18:1--18:16},
  publisher     = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik}
}