![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Jun Yuan 3 Naphtali Rishe , Jun Yuan, Rukshan Athauda , Shu-Ching Chen , Xiaoling Lu , Xiaobin Ma , Alexander Vaschillo , Artyom Shaposhnikov , Dmitry Vasilevsky : Semantic Access: Semantic Interface for Querying Databases. VLDB 2000 : 591-594 2 Jun Yuan, Jian Shen , Jacob A. Abraham , Adnan Aziz : On Combining Formal and Informal Verification. CAV 1997 : 376-387 1 Jun Yuan, Lilin Liu , Zhanqiu Dong : Performance Analysis of a Connection Management Scheme in IWU Interconnecting LANs Across ATM Networks. Application and Theory of Petri Nets 1996 : 536-548 DiSC'01 Copyright ©2002 ACM Inc. |