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 条
[41]   2ND WORLD CONGRESS FOODBORNE INFECTIONS AND INTOXICATIONS [J].
不详 .
FLEISCHWIRTSCHAFT, 1986, 66 (10) :1496-1501
[43]   2nd Special issue on matrix computations and statistics [J].
Barlow, JL ;
Park, H ;
Groenen, PJF ;
Zha, HY .
COMPUTATIONAL STATISTICS & DATA ANALYSIS, 2006, 50 (01) :1-4
[44]   2ND EURO SUMMER INSTITUTE SPECIAL ISSUE [J].
BRANS, JP ;
DESPONTIN, M ;
VINCKE, P .
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1986, 26 (01) :1-5
[45]   INTRODUCTION TO THE 2ND SPECIAL ISSUE ON PRIMARY PREVENTION [J].
GOODYEAR, RK ;
SHAW, MC .
PERSONNEL AND GUIDANCE JOURNAL, 1984, 62 (09) :507-508
[46]   SPECIAL ISSUE ON THE 2ND BENELUX COLLOQUIUM, UTRECHT [J].
JUNGERIUS, PD .
EARTH SURFACE PROCESSES AND LANDFORMS, 1981, 6 (3-4) :213-213
[47]   The 2nd world integrative medicine congress(wimco) 2nd announcement: call for abstract [J].
Chinese Journal of Integrated Traditional and Western Medicine, 2002, 8 (1) :78-80
[48]   Special Issue 2nd Symposium on Biodegradable Metals [J].
Witte, Frank ;
Mantovani, Diego .
MATERIALS SCIENCE AND ENGINEERING B-ADVANCED FUNCTIONAL SOLID-STATE MATERIALS, 2011, 176 (20) :1595-1595
[49]   2nd Special issue on Functional Data Analysis [J].
Ferraty, Frederic ;
Kneip, Alois ;
Kokoszka, Piotr ;
Petersen, Alexander .
ECONOMETRICS AND STATISTICS, 2022, 21 :112-113
[50]   The 2nd special issue on advances in mixture models [J].
Boehning, Dankmar ;
Hennig, Christian ;
McLachlan, Geoffrey J. ;
McNicholas, Paul D. .
COMPUTATIONAL STATISTICS & DATA ANALYSIS, 2014, 71 :1-2