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

Jayadev Misra; Tobias Nipkow; Emil Sekerinski

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

Jayadev Misra, Tobias Nipkow, Emil Sekerinski

Informatik 7 - Lehrstuhl für Theoretische Informatik

Publikation: Beitrag in Fachzeitschrift › Leitartikel

Originalsprache	Englisch
Seiten (von - bis)	v-vi
Fachzeitschrift	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Jahrgang	4085 LNCS
Publikationsstatus	Veröffentlicht - 2006
Veranstaltung	FM 2006: 14th International Symposium on Formal Methods - Hamilton, Kanada Dauer: 21 Aug. 2006 → 27 Aug. 2006

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Misra, Jayadev ; Nipkow, Tobias ; Sekerinski, Emil. / Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) : Preface. in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2006 ; Jahrgang 4085 LNCS. S. v-vi.

@article{4b3cc2280d48489092c33fd54221eeaa,

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

author = "Jayadev Misra and Tobias Nipkow and Emil Sekerinski",

year = "2006",

language = "English",

volume = "4085 LNCS",

pages = "v--vi",

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

issn = "0302-9743",

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

note = "FM 2006: 14th International Symposium on Formal Methods ; Conference date: 21-08-2006 Through 27-08-2006",

}

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface. / Misra, Jayadev; Nipkow, Tobias; Sekerinski, Emil.
in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Jahrgang 4085 LNCS, 2006, S. v-vi.

Publikation: Beitrag in Fachzeitschrift › Leitartikel

TY - JOUR

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

T2 - FM 2006: 14th International Symposium on Formal Methods

AU - Misra, Jayadev

AU - Nipkow, Tobias

AU - Sekerinski, Emil

PY - 2006

Y1 - 2006

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

M3 - Editorial

AN - SCOPUS:33749377728

SN - 0302-9743

VL - 4085 LNCS

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)

Y2 - 21 August 2006 through 27 August 2006

ER -