Preface

Rupak Majumdar; Luke Ong; Wiesllaw Zielonka; Luca de Alfaro; Radha Jagadeesan; Orna Kupferman; P. S. Thiagarajan; Wolfgang Thomas; Igor Walukiewicz

doi:10.1016/j.entcs.2004.07.004

Preface

Rupak Majumdar
, Luke Ong
, Wiesllaw Zielonka
, Luca de Alfaro
, Radha Jagadeesan
, Orna Kupferman
, P. S. Thiagarajan
, Wolfgang Thomas
, Igor Walukiewicz

The Rachel and Selim Benin School of Engineering and Computer Science

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	1-2
Number of pages	2
Journal	Electronic Notes in Theoretical Computer Science
Volume	119
Issue number	1
DOIs	https://doi.org/10.1016/j.entcs.2004.07.004
State	Published - 2 Feb 2005
Event	2004 Workshop on Games in Design and Verification, GDV 2004 - Boston, United States Duration: 18 Jun 2004 → 18 Jun 2004

Access to Document

10.1016/j.entcs.2004.07.004

Cite this

@article{a0ac0719c4d94b0e876a5d5b17c22e13,

title = "Preface",

author = "Rupak Majumdar and Luke Ong and Wiesllaw Zielonka and \{de Alfaro\}, Luca and Radha Jagadeesan and Orna Kupferman and Thiagarajan, \{P. S.\} and Wolfgang Thomas and Igor Walukiewicz",

year = "2005",

month = feb,

day = "2",

doi = "10.1016/j.entcs.2004.07.004",

language = "אנגלית",

volume = "119",

pages = "1--2",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

number = "1",

note = "2004 Workshop on Games in Design and Verification, GDV 2004 ; Conference date: 18-06-2004 Through 18-06-2004",

}

TY - JOUR

T1 - Preface

AU - Majumdar, Rupak

AU - Ong, Luke

AU - Zielonka, Wiesllaw

AU - de Alfaro, Luca

AU - Jagadeesan, Radha

AU - Kupferman, Orna

AU - Thiagarajan, P. S.

AU - Thomas, Wolfgang

AU - Walukiewicz, Igor

PY - 2005/2/2

Y1 - 2005/2/2

UR - https://www.scopus.com/pages/publications/105039685081

U2 - 10.1016/j.entcs.2004.07.004

DO - 10.1016/j.entcs.2004.07.004

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.editorial???

AN - SCOPUS:105039685081

SN - 1571-0661

VL - 119

SP - 1

EP - 2

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 1

T2 - 2004 Workshop on Games in Design and Verification, GDV 2004

Y2 - 18 June 2004 through 18 June 2004

ER -

Preface

Access to Document

Other files and links

Cite this