颁布单位：[Stellenbosch University] |  颁布时间：2003 |  实施时间：2003 |  学科分类：[["Computer, software, --, Verification",, "Computer, programs, --, Validation",, "Dissertations, --, Computer, science",, "Model, checking",, "Transition, systems",, "Automated, model, extraction",, "Theses, --, Computer, science"]]

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