Foreword

Tiziana Margaria; Bernhard Steffen

doi:10.1007/3-540-61042-1

Foreword

University of Passau

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	V-VI
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1055
DOIs	https://doi.org/10.1007/3-540-61042-1
Publication status	Published - 1996
Externally published	Yes
Event	2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996 - Passau, Germany Duration: 27 Mar 1996 → 29 Mar 1996

Access to Document

10.1007/3-540-61042-1

Cite this

@article{8f789ad1295c41839067b124a4607f7b,

title = "Foreword",

author = "Tiziana Margaria and Bernhard Steffen",

year = "1996",

doi = "10.1007/3-540-61042-1",

language = "English",

volume = "1055",

pages = "V--VI",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

note = "2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996 ; Conference date: 27-03-1996 Through 29-03-1996",

}

TY - JOUR

T1 - Foreword

AU - Margaria, Tiziana

AU - Steffen, Bernhard

PY - 1996

Y1 - 1996

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

U2 - 10.1007/3-540-61042-1

DO - 10.1007/3-540-61042-1

M3 - Editorial

AN - SCOPUS:84958793917

SN - 0302-9743

VL - 1055

SP - V-VI

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

T2 - 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1996

Y2 - 27 March 1996 through 29 March 1996

ER -

Foreword

Access to Document

Other files and links

Cite this