Foreword

E. Brinksma; W. R. Cleaveland; K. G. Larsen; Tiziana Margaria; Bernhard Steffen

Foreword

E. Brinksma
, W. R. Cleaveland
, K. G. Larsen
, Tiziana Margaria
, Bernhard Steffen

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	v
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1019
Publication status	Published - 1995
Externally published	Yes
Event	1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1995 - Aarhus, Denmark Duration: 19 May 1995 → 20 May 1995

Cite this

@article{cf0c5a0ce439444fa8d742be74c88afb,

title = "Foreword",

author = "E. Brinksma and Cleaveland, \{W. R.\} and Larsen, \{K. G.\} and Tiziana Margaria and Bernhard Steffen",

year = "1995",

language = "English",

volume = "1019",

pages = "v",

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

issn = "0302-9743",

note = "1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1995 ; Conference date: 19-05-1995 Through 20-05-1995",

}

TY - JOUR

T1 - Foreword

AU - Brinksma, E.

AU - Cleaveland, W. R.

AU - Larsen, K. G.

AU - Margaria, Tiziana

AU - Steffen, Bernhard

PY - 1995

Y1 - 1995

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

M3 - Editorial

AN - SCOPUS:84957825106

SN - 0302-9743

VL - 1019

SP - v

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 - 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 1995

Y2 - 19 May 1995 through 20 May 1995

ER -

Foreword

Other files and links

Cite this