%0 Journal Article %1 journals/tcs/RochaMD11 %A Rocha, Camilo %A Muñoz, César A. %A Dowek, Gilles %D 2011 %J Theor. Comput. Sci. %K dblp %N 37 %P 4853-4866 %T A formal library of set relations and its application to synchronous languages. %U http://dblp.uni-trier.de/db/journals/tcs/tcs412.html#RochaMD11 %V 412

@article{journals/tcs/RochaMD11, added-at = {2021-02-17T00:00:00.000+0100}, author = {Rocha, Camilo and Muñoz, César A. and Dowek, Gilles}, biburl = {https://www.bibsonomy.org/bibtex/2b5af7d9233e8aba7853f1b74660aacf7/dblp}, ee = {https://doi.org/10.1016/j.tcs.2011.01.027}, interhash = {5b547628d7e4bd7f2ee68bc7c78561ff}, intrahash = {b5af7d9233e8aba7853f1b74660aacf7}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 37, pages = {4853-4866}, timestamp = {2024-04-08T18:47:32.000+0200}, title = {A formal library of set relations and its application to synchronous languages.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs412.html#RochaMD11}, volume = 412, year = 2011 }