Schröder L, Kozen D, Milius S, Wißmann T (2017)
Publication Language: English
Publication Type: Conference contribution, Original article
Publication year: 2017
Publisher: Springer
Series: Lecture Notes Comput.~Sci. (ARCoSS)
Conference Proceedings Title: Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)
APA:
Schröder, L., Kozen, D., Milius, S., & Wißmann, T. (2017). Nominal Automata with Name binding. In Esparza Javier, Murawski Andrzej (Eds.), Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017). Uppsala, SE: Springer.
MLA:
Schröder, Lutz, et al. "Nominal Automata with Name binding." Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Uppsala Ed. Esparza Javier, Murawski Andrzej, Springer, 2017.
BibTeX: Download