%0 Conference Paper %1 conf/calco/CodescuM11 %A Codescu, Mihai %A Mossakowski, Till %B CALCO %D 2011 %E Corradini, Andrea %E Klin, Bartek %E Cîrstea, Corina %I Springer %K %P 145-160 %T Refinement Trees: Calculi, Tools, and Applications. %U http://dblp.uni-trier.de/db/conf/calco/calco2011.html#CodescuM11 %V 6859 %@ 978-3-642-22943-5

@inproceedings{conf/calco/CodescuM11, added-at = {2023-12-12T17:39:50.000+0100}, author = {Codescu, Mihai and Mossakowski, Till}, biburl = {https://www.bibsonomy.org/bibtex/20b4a82172d72b0704e7bdd26b1f3e5a2/admin}, booktitle = {CALCO}, crossref = {conf/calco/2011}, editor = {Corradini, Andrea and Klin, Bartek and Cîrstea, Corina}, ee = {https://doi.org/10.1007/978-3-642-22944-2_11}, interhash = {06f7a2fe7e4b09fa97d7feba524120bb}, intrahash = {0b4a82172d72b0704e7bdd26b1f3e5a2}, isbn = {978-3-642-22943-5}, keywords = {}, pages = {145-160}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:39:50.000+0100}, title = {Refinement Trees: Calculi, Tools, and Applications.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2011.html#CodescuM11}, volume = 6859, year = 2011 }