中文版 | English
CSpace

分面浏览：Source Publication

当前检索式 ((ALL：Model checking))
限定条件 无
共22条，第1-20条
LIFETIME DATA ANALYS 4 JOURNAL OF STATISTIC 3 JOURNAL OF SYSTEMS S 3
SCIENCE CHINA-MATHEM 3 STATISTICA SINICA 3 ACTA MATHEMATICAE AP 2
JOURNAL OF MULTIVARI 2 STATISTICS AND ITS I 2 STATISTICS IN MEDICI 2
ACM TRANSACTIONS ON 1 BIOMETRICS 1 COMMUNICATIONS IN ST 1
COMPUTATIONAL STATIS 1 EUROPEAN JOURNAL OF 1 IEEE TRANSACTIONS ON 1
INFORMATION AND COMP 1 JOURNAL OF ECONOMETR 1 JOURNAL OF THE AMERI 1
Journal of the Opera 1 SCIENCE IN CHINA SER 1