%0 Journal Article %1 journals/tse/BuchsG00 %A Buchs, Didier %A Guelfi, Nicolas %D 2000 %J IEEE Trans. Software Eng. %K dblp %N 7 %P 635-652 %T A Formal Specification Framework for Object-Oriented Distributed Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse26.html#BuchsG00 %V 26

@article{journals/tse/BuchsG00, added-at = {2015-12-10T00:00:00.000+0100}, author = {Buchs, Didier and Guelfi, Nicolas}, biburl = {https://www.bibsonomy.org/bibtex/2e84d0931e379a691f7d45dde7ce8cef1/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.859532}, interhash = {3a83e317f3aca0088765dfb0934ec610}, intrahash = {e84d0931e379a691f7d45dde7ce8cef1}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 7, pages = {635-652}, timestamp = {2015-12-12T11:43:24.000+0100}, title = {A Formal Specification Framework for Object-Oriented Distributed Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse26.html#BuchsG00}, volume = 26, year = 2000 }