Model checking software: 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings

D. Bosnacki; S. Leue

doi:10.1007/3-540-46017-9

Model checking software: 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings

D. Bosnacki (Redacteur)
, S. Leue (Redacteur)

Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

Samenvatting

No abstract.

Originele taal-2	Engels
Plaats van productie	Berlin
Uitgeverij	Springer
Aantal pagina's	257
ISBN van geprinte versie	978-3-540-43477-1
DOI's	https://doi.org/10.1007/3-540-46017-9
Status	Gepubliceerd - 2002

Publicatie series

Naam	Lecture notes in computer science
Volume	2318
ISSN van geprinte versie	0302-9743

Naam	Model checking software : international SPIN workshop
Volume	9

Toegang tot document

10.1007/3-540-46017-9

Andere bestanden en links

full text

Citeer dit

@book{e6961159b8f24f1b9f66d36c2b339ef2,

title = "Model checking software: 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings",

abstract = "No abstract.",

editor = "D. Bosnacki and S. Leue",

year = "2002",

doi = "10.1007/3-540-46017-9",

language = "English",

isbn = "978-3-540-43477-1",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Model checking software: 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings

A2 - Bosnacki, D.

A2 - Leue, S.

PY - 2002

Y1 - 2002

N2 - No abstract.

AB - No abstract.

UR - http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-46017-6

U2 - 10.1007/3-540-46017-9

DO - 10.1007/3-540-46017-9

M3 - Book editing

SN - 978-3-540-43477-1

T3 - Lecture notes in computer science

BT - Model checking software: 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings

PB - Springer

CY - Berlin

ER -

Model checking software: 9th international SPIN workshop, Grenoble, France, April 11-13, 2002 : proceedings

Samenvatting

Publicatie series

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit