@inproceedings{UrbatHMS21,
  author    = {Henning Urbat and
               Daniel Hausmann and
               Stefan Milius and
               Lutz Schr{\"{o}}der},
  editor    = {Serge Haddad and
               Daniele Varacca},
  title     = {Nominal B{\"{u}}chi Automata with Name Allocation},
  booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
               August 24-27, 2021, Virtual Conference},
  series    = {LIPIcs},
  volume    = {203},
  pages     = {4:1--4:16},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.4},
  doi       = {10.4230/LIPIcs.CONCUR.2021.4},
  timestamp = {Fri, 13 Aug 2021 23:45:21 +0200},
}

{"_id":"eDjEuYrBXaojG8cMn","bibbaseid":"urbat-hausmann-milius-schrder-nominalbchiautomatawithnameallocation-2021","author_short":["Urbat, H.","Hausmann, D.","Milius, S.","Schröder, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Henning"],"propositions":[],"lastnames":["Urbat"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Hausmann"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Milius"],"suffixes":[]},{"firstnames":["Lutz"],"propositions":[],"lastnames":["Schröder"],"suffixes":[]}],"editor":[{"firstnames":["Serge"],"propositions":[],"lastnames":["Haddad"],"suffixes":[]},{"firstnames":["Daniele"],"propositions":[],"lastnames":["Varacca"],"suffixes":[]}],"title":"Nominal Büchi Automata with Name Allocation","booktitle":"32nd International Conference on Concurrency Theory, CONCUR 2021, August 24-27, 2021, Virtual Conference","series":"LIPIcs","volume":"203","pages":"4:1–4:16","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2021","url":"https://doi.org/10.4230/LIPIcs.CONCUR.2021.4","doi":"10.4230/LIPIcs.CONCUR.2021.4","timestamp":"Fri, 13 Aug 2021 23:45:21 +0200","bibtex":"@inproceedings{UrbatHMS21,\n author = {Henning Urbat and\n Daniel Hausmann and\n Stefan Milius and\n Lutz Schr{\\\"{o}}der},\n editor = {Serge Haddad and\n Daniele Varacca},\n title = {Nominal B{\\\"{u}}chi Automata with Name Allocation},\n booktitle = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,\n August 24-27, 2021, Virtual Conference},\n series = {LIPIcs},\n volume = {203},\n pages = {4:1--4:16},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2021},\n url = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.4},\n doi = {10.4230/LIPIcs.CONCUR.2021.4},\n timestamp = {Fri, 13 Aug 2021 23:45:21 +0200},\n}\n\n","author_short":["Urbat, H.","Hausmann, D.","Milius, S.","Schröder, L."],"editor_short":["Haddad, S.","Varacca, D."],"key":"UrbatHMS21","id":"UrbatHMS21","bibbaseid":"urbat-hausmann-milius-schrder-nominalbchiautomatawithnameallocation-2021","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.CONCUR.2021.4"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["nominal","chi","automata","name","allocation","urbat","hausmann","milius","schröder"],"title":"Nominal Büchi Automata with Name Allocation","year":2021}