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

Julkaisun otsikon käännös: Model checking software, 13th international SPIN workshop, Vienna, Austria, March/April 2006

Tutkimustuotos: Kokoomateos › Tieteellinen › vertaisarvioitu

Julkaisun otsikon käännös	Model checking software, 13th international SPIN workshop, Vienna, Austria, March/April 2006
Alkuperäiskieli	Englanti
Julkaisupaikka	Berlin
Kustantaja	Springer
Tila	Julkaistu - 2006
OKM-julkaisutyyppi	C2 Toimitettu teos

Nimi	Lecture notes in computer science
Kustantaja	Springer
Vuosikerta	3925
ISSN (painettu)	0302-9743
ISSN (elektroninen)	1611-3349

Julkaisufoorumi-taso

@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 -