Compositional modelling of network games (bibtex)

by Elena Di Lavore, Jules Hedges and Paweł Sobociński

Reference:

Elena Di Lavore, Jules Hedges and Paweł Sobociński, Compositional modelling of network games, In 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, Ljubljana, Slovenia, January 25–28, 2021 (Christel Baier, Jean Goubault-Larrecq, eds.), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, vol. 183, pp. 30:1–30:24, 2021.

Bibtex Entry:

@InProceedings{DiLavore2021,
  author    = {Elena Di Lavore and Jules Hedges and Pawe{\l} Soboci{\'{n}}ski},
  title     = {Compositional modelling of network games},
  booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021, Ljubljana, Slovenia, January 25--28, 2021},
  editor    = {Christel Baier and Jean Goubault-Larrecq},
  series    = {LIPIcs},
  volume    = {183},
  pages     = {30:1--30:24},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021},
  doi       = {10.4230/LIPIcs.CSL.2021.30},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2021.30},
}