Electronic Notes in Theoretical Computer Science: Preface

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

Original language	English
Pages (from-to)	394
Number of pages	1
Journal	Electronic Notes in Theoretical Computer Science
Volume	55
Issue number	3
DOIs	https://doi.org/10.1016/S1571-0661(05)80578-X
State	Published - Oct 2001
Event	Workshop on Software Model Checking (in Connection with CAV '01) - Paris, France Duration: Jul 23 2001 → Jul 23 2001

Access to Document

@article{5d40da3cfee84793a14c345095859f59,

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

author = "Stoller, \{Scott D.\} and Willem Visser",

year = "2001",

month = oct,

doi = "10.1016/S1571-0661(05)80578-X",

language = "English",

volume = "55",

pages = "394",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

number = "3",

note = "Workshop on Software Model Checking (in Connection with CAV '01) ; Conference date: 23-07-2001 Through 23-07-2001",

}

TY - JOUR

T1 - Electronic Notes in Theoretical Computer Science

T2 - Workshop on Software Model Checking (in Connection with CAV '01)

AU - Stoller, Scott D.

AU - Visser, Willem

PY - 2001/10

Y1 - 2001/10

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

U2 - 10.1016/S1571-0661(05)80578-X

DO - 10.1016/S1571-0661(05)80578-X

M3 - Conference article

AN - SCOPUS:19144371171

SN - 1571-0661

VL - 55

SP - 394

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

IS - 3

Y2 - 23 July 2001 through 23 July 2001

ER -