%0 Conference Paper %1 conf/opodis/BouzidGK14 %A Bouzid, Zohir %A Gafni, Eli %A Kuznetsov, Petr %B OPODIS %D 2014 %E Aguilera, Marcos K. %E Querzoni, Leonardo %E Shapiro, Marc %I Springer %K dblp %P 139-154 %T Strong Equivalence Relations for Iterated Models. %U http://dblp.uni-trier.de/db/conf/opodis/opodis2014.html#BouzidGK14 %V 8878 %@ 978-3-319-14471-9

@inproceedings{conf/opodis/BouzidGK14, added-at = {2017-05-17T00:00:00.000+0200}, author = {Bouzid, Zohir and Gafni, Eli and Kuznetsov, Petr}, biburl = {https://www.bibsonomy.org/bibtex/2d2a399ae1950bab68793e6ef888d181b/dblp}, booktitle = {OPODIS}, crossref = {conf/opodis/2014}, editor = {Aguilera, Marcos K. and Querzoni, Leonardo and Shapiro, Marc}, ee = {https://doi.org/10.1007/978-3-319-14472-6_10}, interhash = {e6675be319d40d192375e4ac7c9879bd}, intrahash = {d2a399ae1950bab68793e6ef888d181b}, isbn = {978-3-319-14471-9}, keywords = {dblp}, pages = {139-154}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-06-16T12:07:22.000+0200}, title = {Strong Equivalence Relations for Iterated Models.}, url = {http://dblp.uni-trier.de/db/conf/opodis/opodis2014.html#BouzidGK14}, volume = 8878, year = 2014 }