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

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

Onderzoeksoutput: Boek/rapportBoekredactieAcademic

Samenvatting

No abstract.
Originele taal-2Engels
Plaats van productieBerlin
UitgeverijSpringer
Aantal pagina's300
ISBN van elektronische versie9783540733706
ISBN van geprinte versie978-3-540-73369-0
DOI's
StatusGepubliceerd - 2007

Publicatie series

NaamLecture notes in computer science
Volume4595
ISSN van geprinte versie0302-9743
NaamModel checking software : international SPIN workshop
Volume14

Vingerafdruk Duik in de onderzoeksthema's van 'Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Bosnacki, D., & Edelkamp, S. (editors) (2007). Model checking software : 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007 : proceedings. (Lecture notes in computer science; Vol. 4595), (Model checking software : international SPIN workshop; Vol. 14). Springer. https://doi.org/10.1007/978-3-540-73370-6