颁布单位：[Rice University] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Applied, sciences, Assertion-based, verification, Specification, languages, Electrical, engineering, System, science, Computer, science]

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

颁布单位：[Rice University] |  颁布时间：2011 |  实施时间：2011 |  学科分类：[Applied, sciences, Transactional, memory, Parallel, computing, Concurrent, programming, Computer, science]

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

颁布单位：[Rice University] |  颁布时间：2010 |  实施时间：2010 |  学科分类：[Biology, Systematic, biology, Bioinformatics, Computer, science, Applied, sciences]

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

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

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

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

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

颁布单位：[Rice University] |  颁布时间：2010 |  实施时间：2010 |  学科分类：[Biology, Bioinformatics, Computer, science, Applied, sciences]

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

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

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

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

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

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

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

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

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