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 (Editor), S. Leue (Editor)

Research output: Book/Report › Book editing › Academic

Abstract

No abstract.

Original language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	257
ISBN (Print)	978-3-540-43477-1
DOIs	https://doi.org/10.1007/3-540-46017-9
Publication status	Published - 2002

Publication series

Name	Lecture notes in computer science
Volume	2318
ISSN (Print)	0302-9743

Name	Model checking software : international SPIN workshop
Volume	9

Access to Document

10.1007/3-540-46017-9

Cite this

@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

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this