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

← 1 2 3 4 5 →