iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/entcs/GheyiMB05.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:journals/entcs/GheyiMB05 AU - Gheyi, Rohit AU - Massoni, Tiago AU - Borba, Paulo TI - An Abstract Equivalence Notion for Object Models. BT - Proceedings of the Seventh Brazilian Symposium on Formal Methods, SBMF 2004, Recife, Pernambuco, Brazil, November 29 - December 1, 2004 SP - 3 EP - 21 PY - 2004// DO - 10.1016/J.ENTCS.2005.03.002 UR - https://doi.org/10.1016/j.entcs.2005.03.002 ER -