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

Informatics 7 - Chair of Theoretical Computer Science

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	4085 LNCS
State	Published - 2006
Event	FM 2006: 14th International Symposium on Formal Methods - Hamilton, Canada Duration: 21 Aug 2006 → 27 Aug 2006

Cite this

@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), Vol. 4085 LNCS, 2006, p. v-vi.

Research output: Contribution to journal › Editorial

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 -

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

Other files and links

Cite this