Nominal Automata with Name binding (bibtex)

by Lutz Schröder, Dexter Kozen, Stefan Milius and Thorsten Wißmann

Reference:

Lutz Schröder, Dexter Kozen, Stefan Milius and Thorsten Wißmann: Nominal Automata with Name binding, In Javier Esparza, Andrzej Murawski, eds.: Proc. 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Lecture Notes Comput. Sci. (ARCoSS), vol. 10203, pp. 124–142, Springer, 2017. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-54458-7_8.

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{skmw17,
  author = 	 {Lutz Schr\"oder and Dexter Kozen and Stefan Milius and Thorsten Wi\ss{}mann},
  title = 	 {Nominal Automata with Name binding},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)},
  year = 	 {2017},
  editor = 	 {Javier Esparza and Andrzej Murawski},
  volume    = {10203},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci. (ARCoSS)},
  pages     = {124--142},
  OPTmonth = 	 {},
  OPTaddress = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  url = 	 {http://arxiv.org/abs/1603.01455},
  comment = {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-662-54458-7_8">http://dx.doi.org/10.1007/978-3-662-54458-7_8</a>.},
  OPTannote = 	 {}
}