%0 Journal Article
%T T3BDD Based Dynamic Model Checking<br>基于T3BDD的动态模型检查*
%A NI Bin
%A FENG Yu-lin
%A HUANG Tao
%A <br>倪 彬
%A 冯玉琳
%A 黄 涛
%J 软件学报
%D 1999
%I 
%K Component
%K Java Beans
%K formal specification
%K symbolic
%K model checking
%K binary decision diagram (BDD)<br>组件
%K Java
%K Beans
%K 形式规范
%K 符号化
%K 模型检查
%K 二叉判定图.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=224C7B02D1F329A22FA1EC5461D92579&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=F3090AE9B60B7ED1&sid=2E7DE3EE3BC61ED0&eid=D7513DBF373F2B6C&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=42