%0 Conference Paper %1 conf/fossacs/SchroderKMW17 %A Schröder, Lutz %A Kozen, Dexter %A Milius, Stefan %A Wißmann, Thorsten %B FoSSaCS %D 2017 %E Esparza, Javier %E Murawski, Andrzej S. %K %P 124-142 %T Nominal Automata with Name Binding. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2017.html#SchroderKMW17 %V 10203 %@ 978-3-662-54458-7

@inproceedings{conf/fossacs/SchroderKMW17, added-at = {2023-12-13T01:56:40.000+0100}, author = {Schröder, Lutz and Kozen, Dexter and Milius, Stefan and Wißmann, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/28e58deec747bd6888c1962d989673a0f/admin}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2017}, editor = {Esparza, Javier and Murawski, Andrzej S.}, ee = {https://doi.org/10.1007/978-3-662-54458-7_8}, interhash = {78a90188e9a3bd1e73141bdcb8012808}, intrahash = {8e58deec747bd6888c1962d989673a0f}, isbn = {978-3-662-54458-7}, keywords = {}, pages = {124-142}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:56:40.000+0100}, title = {Nominal Automata with Name Binding.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2017.html#SchroderKMW17}, volume = 10203, year = 2017 }