Model checking software, 13th international SPIN workshop, Vienna, Austria, March/April 2006

A. Valmari (Editor)

Research output: Book/Report › Anthology › Scientific › peer-review

Translated title of the contribution	Model checking software, 13th international SPIN workshop, Vienna, Austria, March/April 2006
Original language	English
Place of Publication	Berlin
Publisher	Springer
Publication status	Published - 2006
Publication type	C2 Edited book

Name	Lecture notes in computer science
Publisher	Springer
Volume	3925
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Publication forum classification

@book{cc7c312807ee4fd69043a2e8c9ee3ed9,

title = "Model checking software, 13th international SPIN workshop, Vienna, Austria, March/April 2006",

editor = "A. Valmari",

note = "ISBN 3-540-33102-6<br/>Contribution: organisation=ohj,FACT1=1",

year = "2006",

language = "English",

series = "Lecture notes in computer science",

publisher = "Springer",

}

TY - BOOK

T1 - Model checking software, 13th international SPIN workshop, Vienna, Austria, March/April 2006

A2 - Valmari, A.

N1 - ISBN 3-540-33102-6<br/>Contribution: organisation=ohj,FACT1=1

PY - 2006

Y1 - 2006

M3 - Anthology

T3 - Lecture notes in computer science

BT - Model checking software, 13th international SPIN workshop, Vienna, Austria, March/April 2006

PB - Springer

CY - Berlin

ER -