%0 Journal Article
%T Automatic Generation of Symbolic Model for Parameterized Synchronous Systems
%A Wei-Wen Xu
%A <br>Wei-WenXu
%J 计算机科学技术学报
%D 2004
%I 
%K parameterized system
%K formal verification
%K symbolic representation<br>参数同步
%K 形式验证
%K 符号表示法
%K 程序设计
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=A6E27DE46E1AC78F137263FF0E9F6A2E&yid=D0E58B75BFD8E51C&vid=2A8D03AD8076A2E3&iid=B31275AF3241DB2D&sid=2B25C5E62F83A049&eid=2B25C5E62F83A049&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=14