颁布单位：[University of Alberta] |  颁布时间：1991 |  实施时间：1991 |  学科分类：[Logic,, Symbolic, and, mathematical, Computer, programs--Correctness, Artificial, intelligence]

预览  |  原文链接    [浏览：0 下载：0]

颁布单位：[University of Alberta] |  颁布时间：1991 |  实施时间：1991 |  学科分类：[Systems, software--Reliability--Mathematical, models, Computer, software--Reliability--Mathematical, models, Computers--Reliability--Mathematical, models]

预览  |  原文链接    [浏览：0 下载：0]

颁布单位：[University of Alberta] |  颁布时间：1991 |  实施时间：1991 |  学科分类：[Computer, networks, protocols, Local, area, networks, (Computer, networks)]

预览  |  原文链接    [浏览：0 下载：0]

颁布单位：[University of Alberta] |  颁布时间：1991 |  实施时间：1991 |  学科分类：[Computer, network, protocols, Local, area, networks, (Computer, networks)]

预览  |  原文链接    [浏览：0 下载：0]

颁布单位：[Rice University] |  颁布时间：1991 |  实施时间：1991 |  学科分类：[Computer, science]

预览  |  原文链接    [浏览：0 下载：0]

颁布单位：[Rice University] |  颁布时间：1991 |  实施时间：1991 |  学科分类：[Computer, science]

预览  |  原文链接    [浏览：0 下载：0]

颁布单位：[Rice University] |  颁布时间：1991 |  实施时间：1991 |  学科分类：[Computer, science]

预览  |  原文链接    [浏览：0 下载：0]

颁布单位：[Rice University] |  颁布时间：1991 |  实施时间：1991 |  学科分类：[Computer, science]

预览  |  原文链接    [浏览：0 下载：0]

颁布单位：[Rice University] |  颁布时间：1991 |  实施时间：1991 |  学科分类：[Computer, science]

预览  |  原文链接    [浏览：0 下载：0]

颁布单位：[Rice University] |  颁布时间：1991 |  实施时间：1991 |  学科分类：[Computer, science]

预览  |  原文链接    [浏览：0 下载：2]