%0 Journal Article
%T Aspect-Oriented Modeling and Verification with Finite State Machines
%A Dian-Xiang Xu
%A Omar El-Ariss
%A Wei-Feng Xu
%A Lin-Zhang Wang
%A <br>Dian-Xiang
%A Xu
%J 计算机科学技术学报
%D 2009
%I 
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=AA56510ED8AC0ED7B36B471AA7547D72&yid=DE12191FBD62783C&vid=B91E8C6D6FE990DB&iid=94C357A881DFC066&sid=BFB3B49B74E638B4&eid=6D947E6CDDEFFBDE&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=36