%0 Conference Paper %1 conf/calco/SprungerM17 %A Sprunger, David %A Moss, Lawrence S. %B CALCO %D 2017 %E Bonchi, Filippo %E König, Barbara %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 23:1-23:15 %T Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. %U http://dblp.uni-trier.de/db/conf/calco/calco2017.html#SprungerM17 %V 72 %@ 978-3-95977-033-0

@inproceedings{conf/calco/SprungerM17, added-at = {2018-08-23T00:00:00.000+0200}, author = {Sprunger, David and Moss, Lawrence S.}, biburl = {https://www.bibsonomy.org/bibtex/2a0a743ad415105bba60695b261aceeeb/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2017}, editor = {Bonchi, Filippo and König, Barbara}, ee = {https://doi.org/10.4230/LIPIcs.CALCO.2017.23}, interhash = {cd47e51446a6c84ce76b9adfb184eb1f}, intrahash = {a0a743ad415105bba60695b261aceeeb}, isbn = {978-3-95977-033-0}, keywords = {dblp}, pages = {23:1-23:15}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:35.000+0100}, title = {Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2017.html#SprungerM17}, volume = 72, year = 2017 }