Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface

Manfred Broy; Bengt Jonsson; Joost Pieter Katoen; Martin Leucker; Alexander Pretschner

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface

Manfred Broy, Bengt Jonsson, Joost Pieter Katoen, Martin Leucker, Alexander Pretschner

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

62 Scopus citations

Original language	English
Title of host publication	Model-Based Testing of Reactive Systems
Subtitle of host publication	Advanced Lectures
Editors	Manfred Broy, Martin Leucker, Bengt Jonsson, Joost-Pieter Katoen, Alexander Pretschner
Pages	V-VI
State	Published - 2005

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3472 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Cite this

Broy, M., Jonsson, B., Katoen, J. P., Leucker, M., & Pretschner, A. (2005). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface. In M. Broy, M. Leucker, B. Jonsson, J.-P. Katoen, & A. Pretschner (Eds.), Model-Based Testing of Reactive Systems: Advanced Lectures (pp. V-VI). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3472 LNCS).

Broy, Manfred ; Jonsson, Bengt ; Katoen, Joost Pieter et al. / Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes : Preface. Model-Based Testing of Reactive Systems: Advanced Lectures. editor / Manfred Broy ; Martin Leucker ; Bengt Jonsson ; Joost-Pieter Katoen ; Alexander Pretschner. 2005. pp. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{97b947dfbeb5473da74e68e8195dd20c,

title = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface",

author = "Manfred Broy and Bengt Jonsson and Katoen, {Joost Pieter} and Martin Leucker and Alexander Pretschner",

year = "2005",

language = "English",

isbn = "3540262784",

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

pages = "V--VI",

editor = "Manfred Broy and Martin Leucker and Bengt Jonsson and Joost-Pieter Katoen and Alexander Pretschner",

booktitle = "Model-Based Testing of Reactive Systems",

}

Broy, M, Jonsson, B, Katoen, JP, Leucker, M & Pretschner, A 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface. in M Broy, M Leucker, B Jonsson, J-P Katoen & A Pretschner (eds), Model-Based Testing of Reactive Systems: Advanced Lectures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3472 LNCS, pp. V-VI.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface. / Broy, Manfred; Jonsson, Bengt; Katoen, Joost Pieter et al.
Model-Based Testing of Reactive Systems: Advanced Lectures. ed. / Manfred Broy; Martin Leucker; Bengt Jonsson; Joost-Pieter Katoen; Alexander Pretschner. 2005. p. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3472 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

TY - CHAP

T1 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes

T2 - Preface

AU - Broy, Manfred

AU - Jonsson, Bengt

AU - Katoen, Joost Pieter

AU - Leucker, Martin

AU - Pretschner, Alexander

PY - 2005

Y1 - 2005

UR - http://www.scopus.com/inward/record.url?scp=36849057138&partnerID=8YFLogxK

M3 - Foreword/postscript

AN - SCOPUS:36849057138

SN - 3540262784

SN - 9783540262787

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

SP - V-VI

BT - Model-Based Testing of Reactive Systems

A2 - Broy, Manfred

A2 - Leucker, Martin

A2 - Jonsson, Bengt

A2 - Katoen, Joost-Pieter

A2 - Pretschner, Alexander

ER -

Broy M, Jonsson B, Katoen JP, Leucker M, Pretschner A. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface. In Broy M, Leucker M, Jonsson B, Katoen JP, Pretschner A, editors, Model-Based Testing of Reactive Systems: Advanced Lectures. 2005. p. V-VI. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes: Preface

Publication series

Other files and links

Cite this