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 (Redacteur), S. Edelkamp (Redacteur)

Onderzoeksoutput: Boek/rapport › Boekredactie › Academic

Samenvatting

No abstract.

Originele taal-2	Engels
Plaats van productie	Berlin
Uitgeverij	Springer
Aantal pagina's	300
ISBN van elektronische versie	9783540733706
ISBN van geprinte versie	978-3-540-73369-0
DOI's	https://doi.org/10.1007/978-3-540-73370-6
Status	Gepubliceerd - 2007

Publicatie series

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

Naam	Model checking software : international SPIN workshop
Volume	14

Toegang tot document

10.1007/978-3-540-73370-6

Andere bestanden en links

full text

Citeer dit

@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

Samenvatting

Publicatie series

Toegang tot document

Andere bestanden en links

Vingerafdruk

Citeer dit