Jan Friso,格鲁特 带有否定前提的过渡系统规范。 (英语) 兹比尔0778.68057 西奥。计算。科学。 118,第2期,263-299(1993). 审核人:简·弗里索·格鲁特 MSC公司:第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote},Theor。计算。科学。118,第2号,263--299(1993;Zbl 0778.68057) 全文: 内政部 链接
兰斯·克莱维兰;马修·轩尼诗 将等效性测试为互模拟等效性。 (英语) Zbl 0797.68058号 正式Asp。计算。 5,第1号,1-20(1993). 审核人:M.K(布尔诺) MSC公司:2010年第68季度 第68季度55 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}和\textit{M.Hennessy},正式Asp。计算。5,编号1,1--20(1993;Zbl 0797.68058) 全文: 内政部