海量图书期刊资源,随时随地畅享阅读乐趣
CTL*model checking on a shared-memory architectureCornelia P. Inggs; Howard Barringer · 2006
CTL* Model Checking on a Shared-Memory ArchitectureCornelia P. Inggs; Howard Barringer · 2005