%0 Journal Article
%T 时序逻辑：线性时间以分支时间
%A 贾国平
%A 郑国梁
%J 计算机科学
%D 1995
%I 
%K 时序逻辑
%K 线性时间
%K 分支时间
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=8037B7534449A20E0C54F9291B15778D&yid=BBCD5003575B2B5F&vid=BC12EA701C895178&iid=94C357A881DFC066&sid=B31275AF3241DB2D&eid=9CF7A0430CBB2DFD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0