Electronic Notes in Theoretical Computer Science: Preface

Per Bjesse; Alessandro Cimatti; Koen Claessen; Ranan Fraer; Danny Geist; Alan Hu; Sharad Malik; Joo Marques Silva; Ken McMillan; Fabio Somenzi; Yunshan Zhu; Armin Biere; Ofer Strichman

doi:10.1016/j.entcs.2004.12.020

Electronic Notes in Theoretical Computer Science: Preface

Per Bjesse, Alessandro Cimatti, Koen Claessen, Ranan Fraer, Danny Geist, Alan Hu, Sharad Malik, Joo Marques Silva, Ken McMillan, Fabio Somenzi, Yunshan Zhu, Armin Biere, Ofer Strichman

Research output: Contribution to journal › Conference article › peer-review

Original language	English (US)
Pages (from-to)	1
Number of pages	1
Journal	Electronic Notes in Theoretical Computer Science
Volume	119
Issue number	2
DOIs	https://doi.org/10.1016/j.entcs.2004.12.020
State	Published - Mar 14 2005
Event	Proceedings of the 2nd International Workshop on Bounded Model Checking (BMC 2004). - Duration: Jul 18 2004 → Jul 18 2004

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1016/j.entcs.2004.12.020

Cite this

@article{7e0835f9d57646b0b44d18e73cbf522b,

title = "Electronic Notes in Theoretical Computer Science: Preface",

author = "Per Bjesse and Alessandro Cimatti and Koen Claessen and Ranan Fraer and Danny Geist and Alan Hu and Sharad Malik and Silva, {Joo Marques} and Ken McMillan and Fabio Somenzi and Yunshan Zhu and Armin Biere and Ofer Strichman",

year = "2005",

month = mar,

day = "14",

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

language = "English (US)",

volume = "119",

pages = "1",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "2",

note = "Proceedings of the 2nd International Workshop on Bounded Model Checking (BMC 2004). ; Conference date: 18-07-2004 Through 18-07-2004",

}

TY - JOUR

T1 - Electronic Notes in Theoretical Computer Science

T2 - Proceedings of the 2nd International Workshop on Bounded Model Checking (BMC 2004).

AU - Bjesse, Per

AU - Cimatti, Alessandro

AU - Claessen, Koen

AU - Fraer, Ranan

AU - Geist, Danny

AU - Hu, Alan

AU - Malik, Sharad

AU - Silva, Joo Marques

AU - McMillan, Ken

AU - Somenzi, Fabio

AU - Zhu, Yunshan

AU - Biere, Armin

AU - Strichman, Ofer

PY - 2005/3/14

Y1 - 2005/3/14

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

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

U2 - 10.1016/j.entcs.2004.12.020

DO - 10.1016/j.entcs.2004.12.020

M3 - Conference article

AN - SCOPUS:14644396214

SN - 1571-0661

VL - 119

SP - 1

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 2

Y2 - 18 July 2004 through 18 July 2004

ER -

Electronic Notes in Theoretical Computer Science: Preface

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this