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 journalConference article

Original languageEnglish (US)
Number of pages1
JournalElectronic Notes in Theoretical Computer Science
Volume119
Issue number2
DOIs
StatePublished - Mar 14 2005
EventProceedings of the 2nd International Workshop on Bounded Model Checking (BMC 2004). -
Duration: Jul 18 2004Jul 18 2004

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Electronic Notes in Theoretical Computer Science: Preface'. Together they form a unique fingerprint.

  • Cite this

    Bjesse, P., Cimatti, A., Claessen, K., Fraer, R., Geist, D., Hu, A., Malik, S., Silva, J. M., McMillan, K., Somenzi, F., Zhu, Y., Biere, A., & Strichman, O. (2005). Electronic Notes in Theoretical Computer Science: Preface. Electronic Notes in Theoretical Computer Science, 119(2). https://doi.org/10.1016/j.entcs.2004.12.020