@InProceedings{bai-gon-guz99,
        author = {Jorge A. Baier and Jos\'{e} Manuel Gonz\'{a}lez and Ricardo Guzm\'{a}n},
        title = {Marco Te\'{o}rico para Demostrar Propiedades de Programas bajo Memoria Compartida Distribuida},
        booktitle = {Proceedings of the 3er Workshop Chileno en Sistemas Distribuidos},
        address = {Talca, Chile},
        month = {November},
        pages = {336-345},
        url={bai-gon-guz99.pdf},
        year = 1999
}

{"_id":{"_str":"53bab8527cc42ee75e0012f1"},"__v":0,"authorIDs":["5456e0ad8b01c8193000001d","5decfe493d02efdf010000b9","5df1c31a1070c8ef01000002","5dfe0ecc935a0ade010000ad","5e1adfb15f3d2cdf01000072","5e29a59cfed3e7df0100014c","5e3904ffdc5b8ade010000c7","5e3b8b46184d6ede010000d3","5e52adfe6a3abede01000039","5e647227e1ac00de010000cf","KgxYGmiEzFJvKprNk","MEoQeezyzmiZJBL6Q","XTbwimLCEPypo5jCM","dXzCgSQ92jsaPmt92","e7wakEJ3QheGDHyp4","hzTHbnpEEc6x5PyJh","nt4rKk7pQbAZdWSCh","pPCF56vJtuKfzGj9a","uuLCJotT9BDAX7yMq","x8zNn2RjXhJ2TL4Sn"],"author_short":["Baier, J. A.","González, J. M.","Guzmán, R."],"bibbaseid":"baier-gonzlez-guzmn-marcotericoparademostrarpropiedadesdeprogramasbajomemoriacompartidadistribuida-1999","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jorge","A."],"propositions":[],"lastnames":["Baier"],"suffixes":[]},{"firstnames":["José","Manuel"],"propositions":[],"lastnames":["González"],"suffixes":[]},{"firstnames":["Ricardo"],"propositions":[],"lastnames":["Guzmán"],"suffixes":[]}],"title":"Marco Teórico para Demostrar Propiedades de Programas bajo Memoria Compartida Distribuida","booktitle":"Proceedings of the 3er Workshop Chileno en Sistemas Distribuidos","address":"Talca, Chile","month":"November","pages":"336-345","url":"bai-gon-guz99.pdf","year":"1999","bibtex":"@InProceedings{bai-gon-guz99,\n author = {Jorge A. Baier and Jos\\'{e} Manuel Gonz\\'{a}lez and Ricardo Guzm\\'{a}n},\n title = {Marco Te\\'{o}rico para Demostrar Propiedades de Programas bajo Memoria Compartida Distribuida},\n booktitle = {Proceedings of the 3er Workshop Chileno en Sistemas Distribuidos},\n address = {Talca, Chile},\n month = {November},\n pages = {336-345},\n url={bai-gon-guz99.pdf},\n year = 1999\n}\n","author_short":["Baier, J. A.","González, J. M.","Guzmán, R."],"key":"bai-gon-guz99","id":"bai-gon-guz99","bibbaseid":"baier-gonzlez-guzmn-marcotericoparademostrarpropiedadesdeprogramasbajomemoriacompartidadistribuida-1999","role":"author","urls":{"Paper":"www.cs.toronto.edu/~jabaier/publications/bai-gon-guz99.pdf"},"metadata":{"authorlinks":{"baier, j":"http://www.cs.toronto.edu/~bgmomb/research.html"}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/~jabaier/publications/list2.bib","creationDate":"2014-07-07T15:10:10.939Z","downloads":1,"keywords":[],"search_terms":["marco","rico","para","demostrar","propiedades","programas","bajo","memoria","compartida","distribuida","baier","gonzález","guzmán"],"title":"Marco Teórico para Demostrar Propiedades de Programas bajo Memoria Compartida Distribuida","year":1999,"dataSources":["oKWxZB3B6nhbK6M7y","hCkK2axjCNdLJDwFo","G446v9njWTbWTXYNg"]}