年度85
論文名稱Formal specification of multimedia database modeling with Z notations
會議名稱12th ISCA international conference on computers and their applications, Tempe, Arizona, U.S.A.
會議開始時間1997-01-01
全部作者Shih, Timothy K.; Lin, Nancy P.; 葛煥昭; Keh, Huan-chao; Wang, Ying-hong; Lin, Yule-chyun
備註會議論文