Second International Workshop on Formal Methods for Industrial Critical Systems, Cesena, Italy, 4-5 July 1997

被引：0

|

作者：

机构：

来源：

Bull Eur Assoc Theor Comput Sci | / 60卷 / 256期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 25 条

[21] Special Issue on the First International workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, St. Hugh's College, Oxford, March 19, 1996-Selected Papers
Stefania Gnesi
Diego Latella
Formal Methods in System Design, 1998, 12 : 123 - 124
[22] What Have We Learned from the 2007-08 Financial Crisis? Papers Presented at the Second International Workshop on Financial Markets and Nonlinear Dynamics (Paris, June 4-5, 2015)
Jawadi, Fredj
OPEN ECONOMIES REVIEW, 2016, 27 (05) : 819 - 823
[23] What Have We Learned from the 2007-08 Financial Crisis? Papers Presented at the Second International Workshop on Financial Markets and Nonlinear Dynamics (Paris, June 4-5, 2015)
Fredj Jawadi
Open Economies Review, 2016, 27 : 819 - 823
[24] Environments for Multi-Agent Systems: Second International Workshop, E4MAS 2005, Utrecht, the Netherlands, July 25, 2005, Selected Revised and Invited Papers, vol 2
Amblard, Frederic
Mailliard, Matthias
JASSS-THE JOURNAL OF ARTIFICIAL SOCIETIES AND SOCIAL SIMULATION, 2008, 11 (01):
[25] 4TH CODATA SYMPOSIUM ON CRITICAL-EVALUATION AND PREDICTION OF PHASE-EQUILIBRIA IN MULTICOMPONENT SYSTEMS AND 5TH INTERNATIONAL IUPAC WORKSHOP ON VAPOR-LIQUID-EQUILIBRIA IN 1-ALKANOL + NORMAL-ALKANE MIXTURES, GRADISCA DISONZO, ITALY, 4-8 SEPTEMBER 1989 - PREFACE
ALESSI, P
FLUID PHASE EQUILIBRIA, 1990, 56 : R6 - R7