沃尔夫冈·雷夫;库尔特·斯坦泽尔 软件验证中证据的重用。 (英语) Zbl 1058.68525号 萨达纳 21,第2期,229-244(1996).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.Reif}和\textit{K.Stenzel},萨达纳21,第2期,229--244(1996;Zbl 1058.68525) 全文: DOI程序
维迪亚桑卡尔,K。 弱原子性:原子共享变量构造中的一个有用概念。 (英语) Zbl 1028.68529号 萨达纳 21,第2期,245-259(1996).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Vidyasankar},萨达纳21,第2期,245--259(1996;Zbl 1028.68529) 全文: DOI程序
阿马尔·伊斯利 将Büchi交替自动机转换为通常的非确定性自动机。 (英语) Zbl 1028.68083号 萨达纳 21,第2期,213-228(1996).MSC公司:65年第68季度 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Isli},萨达纳21,No.2,213--228(1996;Zbl 1028.68083) 全文: DOI程序
罗马克里希纳,Y.S。;狄龙,L.K。;莫瑟,L.E。;梅利亚·史密斯,P.M。;G.库蒂。 实时区间逻辑及其决策过程。 (英语) Zbl 1009.68517号 萨达纳 21,第2期,147-184(1996).MSC公司:60年第68季度 03B25号 03B45号 03B70型 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.S.罗摩克里希纳}等人,Sādhanā21,第2号,147-184(1996年;Zbl 1009.68517) 全文: DOI程序
克里斯蒂安·安托万;伯纳德·勒戈夫;Pin,Jean Eric让-埃里克 基于时序图的图形语言。 (英语) Zbl 1009.68516号 萨达纳 21,第2期,125-145(1996).MSC公司:60年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Antoine}等人,《萨达纳21》,第2期,第125--145页(1996年;Zbl 1009.68516) 全文: DOI程序