%0 Conference Paper %1 conf/lics/EberhartK19 %A Eberhart, Clovis %A Klin, Bartek %B LICS %D 2019 %I IEEE %K dblp %P 1-13 %T History-Dependent Nominal μ-Calculus. %U http://dblp.uni-trier.de/db/conf/lics/lics2019.html#EberhartK19 %@ 978-1-7281-3608-0

@inproceedings{conf/lics/EberhartK19, added-at = {2019-08-11T00:00:00.000+0200}, author = {Eberhart, Clovis and Klin, Bartek}, biburl = {https://www.bibsonomy.org/bibtex/20a382be27e177100f91e35351e5899ea/dblp}, booktitle = {LICS}, crossref = {conf/lics/2019}, ee = {https://doi.org/10.1109/LICS.2019.8785736}, interhash = {7befc28cc73cf642e7f2ef6ad621497a}, intrahash = {0a382be27e177100f91e35351e5899ea}, isbn = {978-1-7281-3608-0}, keywords = {dblp}, pages = {1-13}, publisher = {IEEE}, timestamp = {2019-10-17T15:57:35.000+0200}, title = {History-Dependent Nominal μ-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2019.html#EberhartK19}, year = 2019 }