%0 Conference Paper %1 conf/cascon/Zhang94 %A Zhang, Jianchun %B CASCON %D 1994 %E Botsford, John E. %E Gawman, Ann %E Gentleman, W. Morven %E Kidd, Evelyn %E Lyons, Kelly A. %E Slonim, Jacob %E Johnson, J. Howard %I IBM %K dblp %P 76 %T A formal specification model and its application in multidatabase systems. %U http://dblp.uni-trier.de/db/conf/cascon/cascon1994.html#Zhang94

@inproceedings{conf/cascon/Zhang94, added-at = {2018-11-30T00:00:00.000+0100}, author = {Zhang, Jianchun}, biburl = {https://www.bibsonomy.org/bibtex/2ebc7a8f958a063848d63d52aa6e92793/dblp}, booktitle = {CASCON}, crossref = {conf/cascon/1994}, editor = {Botsford, John E. and Gawman, Ann and Gentleman, W. Morven and Kidd, Evelyn and Lyons, Kelly A. and Slonim, Jacob and Johnson, J. Howard}, ee = {https://dl.acm.org/citation.cfm?id=782261}, interhash = {ef2d95d7147d54116cdfd79e5bae000e}, intrahash = {ebc7a8f958a063848d63d52aa6e92793}, keywords = {dblp}, pages = 76, publisher = {IBM}, timestamp = {2018-12-01T12:59:34.000+0100}, title = {A formal specification model and its application in multidatabase systems.}, url = {http://dblp.uni-trier.de/db/conf/cascon/cascon1994.html#Zhang94}, year = 1994 }