Nominal Büchi Automata with Name Allocation (bibtex)

by Henning Urbat, Daniel Hausmann, Stefan Milius and Lutz Schröder

Reference:

Henning Urbat, Daniel Hausmann, Stefan Milius and Lutz Schröder: Nominal Büchi Automata with Name Allocation, In Serge Haddad, Daniele Varacca, eds.: Proc. 32nd International Conference on Concurrency Theory (CONCUR), LIPIcs, vol. 203, pp. 4:1–4:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021.

Bibtex Entry:

@string{lipics="LIPIcs"}
@string{dagstuhl="Schloss Dagstuhl – Leibniz-Zentrum für Informatik"}
@InProceedings{uhms21,
  author = 	 {Urbat, Henning and Hausmann, Daniel and Milius, Stefan and Schr\"oder, Lutz},
  title = 	 {Nominal {B\"uchi} Automata with Name Allocation},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~32nd International Conference on Concurrency Theory (CONCUR)},
  year = 	 {2021},
  editor = 	 {Haddad, Serge and Varacca, Daniele},
  volume = 	 {203},
  OPTnumber = 	 {},
  series = 	 lipics,
  pages = 	 {4:1--4:16},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = dagstuhl,
  OPTnote = 	 {{T}o appear},
  OPTannote = 	 {}
}