约翰·德里克;格雷姆·史密斯 Z求精下的时序逻辑属性保持。 (英语) Zbl 1259.68032号 正式Asp。计算。 24,第3号,393-416(2012).MSC公司:68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{G.Smith},正式Asp。计算。24,第393-416号(2012年;兹bl 1259.68032) 全文: 内政部
威尔克森·L·安德拉德。;Patrícia D.L.马查多。 测试无功系统中的中断。 (英语) Zbl 1259.68031号 正式Asp。计算。 24,第3期,331-353(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Andrade}和\textit{P.D.L.Machado},正式Asp。计算。24,第3号,331--353(2012年;兹bl 1259.68031) 全文: 内政部
克利夫·琼斯。 约翰·麦卡锡(1927-2011)。 (英语) Zbl 1259.01013号 正式Asp。计算。 24,第3号,305-306(2012).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},正式Asp。计算。24,编号3,305-306(2012年;兹bl 1259.01013) 全文: 内政部