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 条

[21] 2ND WORLD VETERINARY DENTAL CONGRESS
SCHUTZ, F
TIJDSCHRIFT VOOR DIERGENEESKUNDE, 1992, 117 (05) : 149 - 149
[22] CARDIAC REHABILITATION - THE 2ND WORLD CONGRESS
KELLERMANN, JJ
HEART & LUNG, 1983, 12 (04): : 335 - 336
[23] 2nd workshop on formal methods for blockchains
Bernardo, Bruno
Marmsoler, Diego
OpenAccess Series in Informatics, 2020, 84
[24] SPECIAL ISSUE - 2ND WORLD CONFERENCE ON FAMILY-THERAPY - INTRODUCTION
KASLOW, F
CONTEMPORARY FAMILY THERAPY, 1991, 13 (06): : 533 - 533
[25] THE 2ND SPECIAL ALASKA ISSUE - FOREWORD
SHASBY, MB
PHOTOGRAMMETRIC ENGINEERING AND REMOTE SENSING, 1988, 54 (03) : 345 - 345
[26] 2ND SPECIAL ISSUE ON OPTICAL COMMUNICATION
LANSU, JF
PHILIPS TELECOMMUNICATION REVIEW, 1982, 40 (02): : 61 - 61
[27] AN INTRODUCTION TO THE 2ND SPECIAL ISSUE ON OPTOELECTRONICS
HILSUM, C
GEC JOURNAL OF RESEARCH, 1993, 10 (02): : 66 - 66
[28] The 2nd Special issue on Mixture Models
Ingrassia, Salvatore
Lin, Tsung-, I
ECONOMETRICS AND STATISTICS, 2022, 22 : 1 - 2
[29] 2nd sulfur mustard special issue
Ghazanfari, Tooba
Hassan, Zuhair M.
INTERNATIONAL IMMUNOPHARMACOLOGY, 2013, 17 (03) : 930 - 930
[30] 2ND SPECIAL ISSUE ON VENUS - INTRODUCTION
VEVERKA, J
ICARUS, 1982, 52 (02) : 209 - 209

← 1 2 3 4 5 →