Titlebook: Substance and Non-substance Addiction; Xiaochu Zhang,Jie Shi,Ran Tao Book 2017 The Editor(s) (if applicable) and The Author(s), under excl

頻率

書目名稱Substance and Non-substance Addiction影響因子(影響力)




書目名稱Substance and Non-substance Addiction影響因子(影響力)學(xué)科排名




書目名稱Substance and Non-substance Addiction網(wǎng)絡(luò)公開度




書目名稱Substance and Non-substance Addiction網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Substance and Non-substance Addiction被引頻次




書目名稱Substance and Non-substance Addiction被引頻次學(xué)科排名




書目名稱Substance and Non-substance Addiction年度引用




書目名稱Substance and Non-substance Addiction年度引用學(xué)科排名




書目名稱Substance and Non-substance Addiction讀者反饋




書目名稱Substance and Non-substance Addiction讀者反饋學(xué)科排名

SPASM

時(shí)代

取消

含糊

Tracheotomy

Communicate

Manli Chen,Yan Sun,Lin Lu,Jie Shin object fairness conditions. We summarize the foundations and present the language design and implementation of the new Maude LTLR Model Checker under localized fairness. This is the first tool we are aware of which can model check temporal logic properties under parametric fairness assumptions.

一瞥

Yang Zhang,Yan Sun,Jie Liang,Lin Lu,Jie Shi, and the domain of constrained rewriting. The correction and completeness of this extended mechanism is proved w.r.t. the 3-valued declarative semantics of Künen for normal programs. We also point out how the semantics of a normal program can in a certain sense be ‘parametrized’, in terms of the ‘m

Ringworm

Yan-Kun Sun,Yan Sun,Xiao Lin,Lin Lu,Jie Shiils in general to form a prime algebraic domain: a condition that is generally considered as expressing a . model of concurrency for distributed systems (see [Win89]). On the contrary, the resulting derivation space in Stell‘s model is actually a prime algebraic domain, but too few computations are

Confirm