Preface

Tiziana Margaria; Wang Yi

Preface

Tiziana Margaria
, Wang Yi

Unknown

科研成果: 期刊稿件 › 社论

源语言	英语
页（从-至）	VII-VIII
期刊	Lecture Notes in Computer Science
卷	2031 LNCS
出版状态	已出版 - 2001
已对外发布	是
活动	7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 - Genova, 意大利期限: 2 4月 2001 → 6 4月 2001

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{5ef990853fd84a1a9c2d336de4fc35d3,

title = "Preface",

author = "Tiziana Margaria and Wang Yi",

year = "2001",

language = "英语",

volume = "2031 LNCS",

pages = "VII--VIII",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 ; Conference date: 02-04-2001 Through 06-04-2001",

}

TY - JOUR

T1 - Preface

AU - Margaria, Tiziana

AU - Yi, Wang

PY - 2001

Y1 - 2001

UR - https://www.scopus.com/pages/publications/84903121068

M3 - 社论

AN - SCOPUS:84903121068

SN - 0302-9743

VL - 2031 LNCS

SP - VII-VIII

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001

Y2 - 2 April 2001 through 6 April 2001

ER -