%0 Journal Article
%T 基于下推自动机的仿真模型形式化描述
%A 方敏
%A 王宝树
%A 邱素蓉
%J 计算机科学
%D 2003
%I 
%K 计算机仿真
%K 自动机
%K 仿真模型
%K 形式化描述
%K 仿真软件
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=124E4B150C088D56&yid=D43C4A19B2EE3C0A&vid=340AC2BF8E7AB4FD&iid=B31275AF3241DB2D&sid=BA79719BCA7341D5&eid=8575BEDA702C4B7C&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=8