Action Codes (bibtex)

by Frits Vaandrager and Thorsten Wißmann

Reference:

Frits Vaandrager and Thorsten Wißmann: Action Codes, In Kousha Etessami, Uriel Feige, Gabriele Puppis, eds.: 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), Leibniz International Proceedings in Informatics (LIPIcs), vol. 261, pp. 137:1–137:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023.

Bibtex Entry:

@inproceedings{VW23,
  author       = {Frits Vaandrager and Thorsten Wi{\ss}mann},
  title        = {Action Codes},
  booktitle =	{50th International Colloquium on Automata, Languages, and Programming (ICALP 2023)},
  pages =	{137:1--137:20},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  year =	{2023},
  month =	{7},
  volume =	{261},
  editor =	{Etessami, Kousha and Feige, Uriel and Puppis, Gabriele},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  noURL =		{https://drops.dagstuhl.de/opus/volltexte/2023/18189},
  noURN =		{urn:nbn:de:0030-drops-181895},
  doi =		{10.4230/LIPIcs.ICALP.2023.137},
  preprinturl = {https://arxiv.org/abs/2301.00199},
  coqurl = {https://gitlab.science.ru.nl/twissmann/action-codes-coq},
}