Titlebook: Advances in Computing Science - ASIAN‘99; 5th Asian Computing P. S. Thiagarajan,Roland Yap Conference proceedings 1999 Springer-Verlag Ber

街道

書目名稱Advances in Computing Science - ASIAN‘99影響因子(影響力)




書目名稱Advances in Computing Science - ASIAN‘99影響因子(影響力)學(xué)科排名




書目名稱Advances in Computing Science - ASIAN‘99網(wǎng)絡(luò)公開度




書目名稱Advances in Computing Science - ASIAN‘99網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Advances in Computing Science - ASIAN‘99被引頻次




書目名稱Advances in Computing Science - ASIAN‘99被引頻次學(xué)科排名




書目名稱Advances in Computing Science - ASIAN‘99年度引用




書目名稱Advances in Computing Science - ASIAN‘99年度引用學(xué)科排名




書目名稱Advances in Computing Science - ASIAN‘99讀者反饋




書目名稱Advances in Computing Science - ASIAN‘99讀者反饋學(xué)科排名

synovium

Corrosion-Resistant Material for IS ProcessWe propose a . model-checking algorithm, which decides the alternation-free modal mu-calculus for . processes. This algorithm enjoys advantages known from local model checking in that it avoids the investigation of certain irrelevant parts of a process, and simultaneously improves on its classical counterpart of

Aids209

殘酷的地方

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/a/image/147297.jpg

挖掘

Advances in Computing Science - ASIAN‘99978-3-540-46674-1Series ISSN 0302-9743 Series E-ISSN 1611-3349

APRON

有雜色

Parametric Framework and Policy Scenariosigorously. In this paper, we study a subset of DC* formulas consisting of so-called simple ones which corresponds precisely with the class of Timed Automata. We give a complete proof system and the decidability results for the subset.

間諜活動

愛好

強化

978-3-540-66856-5Springer-Verlag Berlin Heidelberg 1999