Special Issue: International Workshop on Runtime Verification 2007

被引：0

作者：

Sokolsky, Oleg ^{[1
]}

Tasiran, Serdar ^{[2
]}

机构：

[1] Univ Penn, Philadelphia, PA 19104 USA

[2] Koc Univ, Istanbul, Turkey

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2010年 / 20卷 / 03期

关键词：

D O I：

10.1093/logcom/exn074

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：649 / 650

页数：2

共 50 条

[31] Special issue: International Workshop on Quantum Kinetic Theory
Gardner, CL
[J]. VLSI DESIGN, 1999, 9 (04) : I - I
[32] Special Issue: HEPEX Workshop: Stresa, Italy, June 2007
Thielen, Jutta
Schaake, John
[J]. ATMOSPHERIC SCIENCE LETTERS, 2008, 9 (02): : 27 - 28
[33] Special Issue: Selected and Revised Papers from the ASCE International Workshop on Computing in Civil Engineering 2007, Special Section 1
Brilakis, Ioannis
Akinci, Burcu
[J]. JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 2009, 23 (01) : 2 - 2
[34] Special Issue: 2007 International Nuclear Atlantic Conference - INAC 2007
Barros, Ricardo C.
[J]. PROGRESS IN NUCLEAR ENERGY, 2010, 52 (03) : 257 - 257
[35] Introduction to the special issue on the 2007 International Conference on Microelectronics
Anis, Mohab
Hegazi, Emad
[J]. MICROELECTRONICS JOURNAL, 2009, 40 (11) : 1503 - 1503
[36] Introduction to the special section on runtime verification
Sokolsky O.
Havelund K.
Lee I.
[J]. International Journal on Software Tools for Technology Transfer, 2012, 14 (03) : 243 - 247
[37] Special Issue on the RECOMB Satellite Workshop on Comparative Genomics 2007 Preface
Tesler, Glenn
Durand, Dannie
[J]. JOURNAL OF COMPUTATIONAL BIOLOGY, 2008, 15 (08) : 943 - 946
[38] Foreword for the Special Issue——International Workshop on Metamaterials and Negative Refraction
Prof. HE Sailing
Royal Institute of Technology
[J]. Journal of Zhejiang University-Science A(Applied Physics & Engineering), 2006, (01) : 113 - 113
[39] Special Issue: International Workshop on Nonlinear and Variational Analysis 2018
Durea, Marius
Khan, Akhtar A.
Koebis, Elisabeth
Yen, Nguyen Dong
Yao, Jen-Chih
[J]. OPTIMIZATION, 2020, 69 (02) : 217 - 219
[40] Special issue - International Workshop "Geodynamics of the Tien Shan" - Preface
Goldin, SV
Leonov, YG
[J]. GEOLOGIYA I GEOFIZIKA, 2001, 42 (10): : 1433 - 1434

← 1 2 3 4 5 →