%0 Journal Article %1 journals/tcs/Oriat00 %A Oriat, Catherine %D 2000 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 141-190 %T Detecting equivalence of modular specifications with categorical diagrams. %U http://dblp.uni-trier.de/db/journals/tcs/tcs247.html#Oriat00 %V 247

@article{journals/tcs/Oriat00, added-at = {2003-11-19T00:00:00.000+0100}, author = {Oriat, Catherine}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28e4aebb4f174dabd3ee673091e5cf79a/dblp}, ee = {http://dx.doi.org/10.1016/S0304-3975(98)00232-1}, interhash = {6b7cbf7eb099cbac3c001e55240f2933}, intrahash = {8e4aebb4f174dabd3ee673091e5cf79a}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {141-190}, timestamp = {2016-02-02T10:03:31.000+0100}, title = {Detecting equivalence of modular specifications with categorical diagrams.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs247.html#Oriat00}, volume = 247, year = 2000 }