Preface

Dines Bjømer, Manfred Broy, Igor Pottosin

Publikation: Beitrag in Fachzeitschrift › Leitartikel

Originalsprache	Englisch
Fachzeitschrift	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Jahrgang	735 LNCS
Publikationsstatus	Veröffentlicht - 1993
Veranstaltung	1st International Conference on Formal Methods in Programming and their Applications, 1993 - Academgorodok, Novosibirsk, Russland Dauer: 28 Juni 1993 → 2 Juli 1993

Andere Dateien und Links

@article{96d7691f74ca417580ecb674b4f875d5,

title = "Preface",

author = "Dines Bj{\o}mer and Manfred Broy and Igor Pottosin",

year = "1993",

language = "English",

volume = "735 LNCS",

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

issn = "0302-9743",

publisher = "Springer Verlag",

note = "1st International Conference on Formal Methods in Programming and their Applications, 1993 ; Conference date: 28-06-1993 Through 02-07-1993",

}

TY - JOUR

T1 - Preface

AU - Bjømer, Dines

AU - Broy, Manfred

AU - Pottosin, Igor

PY - 1993

Y1 - 1993

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

M3 - Editorial

AN - SCOPUS:85028848226

SN - 0302-9743

VL - 735 LNCS

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 Conference on Formal Methods in Programming and their Applications, 1993

Y2 - 28 June 1993 through 2 July 1993

ER -