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.: 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland, LIPIcs, vol. 252, pp. 22:1–22:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.

Bibtex Entry:

@string{lipics="LIPIcs"}
@InProceedings{   ForsterGoncharovEtAl23,
  author       = {Jonas Forster and
                  Sergey Goncharov and
                  Dirk Hofmann and
                  Pedro Nora and
                  Lutz Schr{\"{o}}der and
                  Paul Wild},
  editor       = {Bartek Klin and
                  Elaine Pimentel},
  title        = {Quantitative Hennessy-Milner Theorems via Notions of Density},
  booktitle    = {31st {EACSL} Annual Conference on Computer Science Logic, {CSL} 2023,
                  February 13-16, 2023, Warsaw, Poland},
  series       = {LIPIcs},
  volume       = {252},
  pages        = {22:1--22:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  nourl          = {https://doi.org/10.4230/LIPIcs.CSL.2023.22},
  doi          = {10.4230/LIPICS.CSL.2023.22},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/Forster0HNSW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}