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]   CARDIAC REHABILITATION - THE 2ND WORLD CONGRESS [J].
KELLERMANN, JJ .
HEART & LUNG, 1983, 12 (04) :335-336
[22]   2nd World Congress on Controversies in Neurology [J].
Korczyn, Amos D. .
EXPERT REVIEW OF NEUROTHERAPEUTICS, 2009, 9 (03) :317-318
[23]   SPECIAL ISSUE - 2ND WORLD CONFERENCE ON FAMILY-THERAPY - INTRODUCTION [J].
KASLOW, F .
CONTEMPORARY FAMILY THERAPY, 1991, 13 (06) :533-533
[24]   2nd workshop on formal methods for blockchains [J].
Bernardo, Bruno ;
Marmsoler, Diego .
OpenAccess Series in Informatics, 2020, 84
[25]   Special Issue on the 2nd PGTS 2002 [J].
Kühn, PJ ;
Lehnert, R ;
Pióro, M ;
Wozniak, J ;
Killat, U .
EUROPEAN TRANSACTIONS ON TELECOMMUNICATIONS, 2005, 16 (03) :203-204
[26]   2ND SPECIAL ISSUE ON VENUS - INTRODUCTION [J].
VEVERKA, J .
ICARUS, 1982, 52 (02) :209-209
[27]   AN INTRODUCTION TO THE 2ND SPECIAL ISSUE ON OPTOELECTRONICS [J].
HILSUM, C .
GEC JOURNAL OF RESEARCH, 1993, 10 (02) :66-66
[28]   The 2nd Special issue on Mixture Models [J].
Ingrassia, Salvatore ;
Lin, Tsung-, I .
ECONOMETRICS AND STATISTICS, 2022, 22 :1-2
[29]   2ND SPECIAL CONFERENCE ISSUE - PREFACE [J].
不详 .
SOCIAL SCIENCE & MEDICINE, 1982, 16 (06) :621-621
[30]   2nd sulfur mustard special issue [J].
Ghazanfari, Tooba ;
Hassan, Zuhair M. .
INTERNATIONAL IMMUNOPHARMACOLOGY, 2013, 17 (03) :930-930
12345