Electronic Notes in Theoretical Computer Science: Preface

Byron Cook; Scott Stoller; Willem Visser

doi:10.1016/j.entcs.2006.01.001

Electronic Notes in Theoretical Computer Science: Preface

Byron Cook
, Scott Stoller
, Willem Visser

Computer Science

Microsoft USA
NASA Ames Research Center

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	144
Issue number	3
DOIs	https://doi.org/10.1016/j.entcs.2006.01.001
State	Published - Feb 7 2006
Event	Proceedings of the Workshop on Software Model Checking (SoftMC 2005) - Duration: Jul 11 2005 → Jul 11 2005

Access to Document

10.1016/j.entcs.2006.01.001

Cite this

@article{11decfab4c524cf39c2e5d329af65d3c,

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

author = "Byron Cook and Scott Stoller and Willem Visser",

year = "2006",

month = feb,

day = "7",

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

language = "English",

volume = "144",

pages = "1--2",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

number = "3",

note = "Proceedings of the Workshop on Software Model Checking (SoftMC 2005) ; Conference date: 11-07-2005 Through 11-07-2005",

}

TY - JOUR

T1 - Electronic Notes in Theoretical Computer Science

T2 - Proceedings of the Workshop on Software Model Checking (SoftMC 2005)

AU - Cook, Byron

AU - Stoller, Scott

AU - Visser, Willem

PY - 2006/2/7

Y1 - 2006/2/7

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

U2 - 10.1016/j.entcs.2006.01.001

DO - 10.1016/j.entcs.2006.01.001

M3 - Editorial

AN - SCOPUS:31344440649

SN - 1571-0661

VL - 144

SP - 1

EP - 2

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 3

Y2 - 11 July 2005 through 11 July 2005

ER -

Electronic Notes in Theoretical Computer Science: Preface

Access to Document

Other files and links

Fingerprint

Cite this