%0 Conference Paper %1 conf/ngits/MissikoffL93 %A Missikoff, Michele %A Lam, Herman %B NGITS %D 1993 %E Etzion, Opher %E Segev, Arie %K dblp %T On Semantic Verification of Object-Oriented Database Schemas. %U http://dblp.uni-trier.de/db/conf/ngits/ngits93.html#MissikoffL93

@inproceedings{conf/ngits/MissikoffL93, added-at = {2019-08-08T00:00:00.000+0200}, author = {Missikoff, Michele and Lam, Herman}, biburl = {https://www.bibsonomy.org/bibtex/2de1f1f89b9ca66792371885b93d52cd8/dblp}, booktitle = {NGITS}, crossref = {conf/ngits/1993}, editor = {Etzion, Opher and Segev, Arie}, interhash = {e5adc33956f785cf03cd6e9ba2df63d1}, intrahash = {de1f1f89b9ca66792371885b93d52cd8}, keywords = {dblp}, timestamp = {2019-08-09T11:50:19.000+0200}, title = {On Semantic Verification of Object-Oriented Database Schemas.}, url = {http://dblp.uni-trier.de/db/conf/ngits/ngits93.html#MissikoffL93}, year = 1993 }