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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Vorwort/Nachwort

62 Zitate (Scopus)

Originalsprache	Englisch
Titel	Model-Based Testing of Reactive Systems
Untertitel	Advanced Lectures
Redakteure/-innen	Manfred Broy, Martin Leucker, Bengt Jonsson, Joost-Pieter Katoen, Alexander Pretschner
Seiten	V-VI
Publikationsstatus	Veröffentlicht - 2005

Publikationsreihe

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

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

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 (Hrsg.), Model-Based Testing of Reactive Systems: Advanced Lectures (S. V-VI). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 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. Hrsg. / Manfred Broy ; Martin Leucker ; Bengt Jonsson ; Joost-Pieter Katoen ; Alexander Pretschner. 2005. S. 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 (Hrsg.), 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), Bd. 3472 LNCS, S. 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. Hrsg. / Manfred Broy; Martin Leucker; Bengt Jonsson; Joost-Pieter Katoen; Alexander Pretschner. 2005. S. V-VI (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 3472 LNCS).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Vorwort/Nachwort

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, Hrsg., Model-Based Testing of Reactive Systems: Advanced Lectures. 2005. S. V-VI. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).