%0 Journal Article
%T 工业界第一个符号分析工具--Tau
%J 中国图象图形学报
%D 1998
%I 
%X 工业界第一个符号分析工具——Ｔａｕ现为ＭｅｎｔｏｒＧｒａｐｈｉｃｓ公司的Ｉｎｔｅｒｃｏｎｎｅｃｔｉｘ业务部推出工业上第一个符号时序分析工具——Ｔａｕ，Ｔａｕ在两个前沿问题上有所突破：第一，它许诺完全的时序验证，同时消除静态分析关于报告事实上并不出现的...
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=D06194629680C940ACE75262F54B9D85&aid=47ECEA6F7ADEB20B&yid=8CAA3A429E3EA654&vid=38B194292C032A66&iid=94C357A881DFC066&sid=6D6BFCF0101BC091&journal_id=1006-8961&journal_name=中国图象图形学报&referenced_num=0&reference_num=0