Nominal Automata with Name binding (bibtex)
by Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann
Reference:
Nominal Automata with Name binding (Lutz Schröder, Dexter Kozen, Stefan Milius, Thorsten Wißmann), In Proc. 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017) (Javier Esparza, Andrzej Murawski, eds.), 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:
@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 = 	 {}
}
Powered by bibtexbrowser