%0 Conference Paper %1 conf/odp/DongD93 %A Dong, Jin Song %A Duke, Roger %B Open Distributed Processing %D 1993 %E de Meer, Jan %E Mahr, Bernd %E Storp, Silke %I North-Holland %K dblp %P 341-352 %T An Object-Oriented Approach to the Formal Specification of ODP Trader. %U http://dblp.uni-trier.de/db/conf/odp/odp1993.html#DongD93 %V C-20 %@ 0-444-81861-8

@inproceedings{conf/odp/DongD93, added-at = {2002-01-03T00:00:00.000+0100}, author = {Dong, Jin Song and Duke, Roger}, biburl = {https://www.bibsonomy.org/bibtex/216fdb2cc0fd8a75a0a2aff1fbc1f2aa6/dblp}, booktitle = {Open Distributed Processing}, crossref = {conf/odp/1993}, date = {2002-01-03}, description = {dblp}, editor = {de Meer, Jan and Mahr, Bernd and Storp, Silke}, interhash = {e65319984e6403492917e49af54c8307}, intrahash = {16fdb2cc0fd8a75a0a2aff1fbc1f2aa6}, isbn = {0-444-81861-8}, keywords = {dblp}, pages = {341-352}, publisher = {North-Holland}, series = {IFIP Transactions}, timestamp = {2002-01-03T00:00:00.000+0100}, title = {An Object-Oriented Approach to the Formal Specification of ODP Trader.}, url = {http://dblp.uni-trier.de/db/conf/odp/odp1993.html#DongD93}, volume = {C-20}, year = 1993 }