Special issue: 2nd World Congress on Formal Methods

被引：0

作者：

Ana Cavalcanti

Dennis Dams

机构：

[1] University of York,Department of Computer Science

[2] Bell Labs Alcatel-Lucent,undefined

来源：

Formal Methods in System Design | 2010年 / 37卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：93 / 94

页数：1

相关论文

共 50 条

[31] 2ND SPECIAL ISSUE ON OPTICAL COMMUNICATION
LANSU, JF
[J]. PHILIPS TELECOMMUNICATION REVIEW, 1982, 40 (02): : 61 - 61
[32] THE 2ND SPECIAL ALASKA ISSUE - FOREWORD
SHASBY, MB
[J]. PHOTOGRAMMETRIC ENGINEERING AND REMOTE SENSING, 1988, 54 (03) : 345 - 345
[33] Snapshots from the 2nd World Congress on ICME
Scott, Justin
Howe, David
[J]. JOM, 2013, 65 (09) : 1083 - 1086
[34] Snapshots from the 2nd World Congress on ICME
[J]. JOM, 2013, 65 : 1083 - 1086
[35] 2ND WORLD CONGRESS OF ISUOG - MEETING REPORT
QUEENAN, JT
[J]. ULTRASOUND IN OBSTETRICS & GYNECOLOGY, 1992, 2 (05) : 376 - 378
[36] 2ND WORLD CONGRESS OF THE BERNOULLI-SOCIETY
SHIRYAYEV, AN
[J]. THEORY OF PROBABILITY AND ITS APPLICATIONS, 1992, 37 (01) : 1 - 2
[37] 2nd World Congress of Public Health Nutrition
Iberia Congresos, Viajes
[J]. REVISTA ESPANOLA DE NUTRICION COMUNITARIA-SPANISH JOURNAL OF COMMUNITY NUTRITION, 2009, 15 (04): : 229 - 229
[38] 2nd World Congress on Diabetes & Metabolism Abstracts
不详
[J]. JOURNAL OF DIABETES & METABOLISM, 2011, 2 : 28 - 114
[39] 2ND WORLD CONGRESS OF GASTROENTEROLOGY MUNICH 1962
STONE, DB
[J]. ARCHIVES OF INTERNAL MEDICINE, 1965, 115 (01) : 107 - &
[40] THE 2ND WORLD CONGRESS ON EXPERT-SYSTEMS
LIEBOWITZ, J
[J]. IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1994, 9 (02): : 62 - 62

← 1 2 3 4 5 →