Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings

D. Bosnacki; S. Edelkamp

doi:10.1007/978-3-540-73370-6

Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings

D. Bosnacki (Editor), S. Edelkamp (Editor)

Research output: Book/Report › Book editing › Academic

Abstract

No abstract.

Original language	English
Place of Publication	Berlin
Publisher	Springer
Number of pages	300
ISBN (Electronic)	9783540733706
ISBN (Print)	978-3-540-73369-0
DOIs	https://doi.org/10.1007/978-3-540-73370-6
Publication status	Published - 2007

Publication series

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

Name	Model checking software : international SPIN workshop
Volume	14

Access to Document

10.1007/978-3-540-73370-6

Cite this

@book{15281a614c18448e8573136284d63286,

title = "Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings",

abstract = "No abstract.",

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

year = "2007",

doi = "10.1007/978-3-540-73370-6",

language = "English",

isbn = "978-3-540-73369-0",

series = "Lecture notes in computer science",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings

A2 - Bosnacki, D.

A2 - Edelkamp, S.

PY - 2007

Y1 - 2007

N2 - No abstract.

AB - No abstract.

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

U2 - 10.1007/978-3-540-73370-6

DO - 10.1007/978-3-540-73370-6

M3 - Book editing

SN - 978-3-540-73369-0

T3 - Lecture notes in computer science

BT - Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings

PB - Springer

CY - Berlin

ER -

Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this