Model checking software: 15th international spin workshop, Los Angeles, CA, USA, August 10-12, 2008, proceedings

Detalles Bibliográficos
Autores principales: Havelund, Klaus, Majumdar, Rupak, Palsberg, Jens
Lenguaje:eng
Publicado: Springer 2008
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756794
_version_ 1780969827184148480
author Havelund, Klaus
Majumdar, Rupak
Palsberg, Jens
author_facet Havelund, Klaus
Majumdar, Rupak
Palsberg, Jens
author_sort Havelund, Klaus
collection CERN
id cern-2756794
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2008
publisher Springer
record_format invenio
spelling cern-27567942021-04-21T16:41:41Zhttp://cds.cern.ch/record/2756794engHavelund, KlausMajumdar, RupakPalsberg, JensModel checking software: 15th international spin workshop, Los Angeles, CA, USA, August 10-12, 2008, proceedingsXXSpringeroai:cds.cern.ch:27567942008
spellingShingle XX
Havelund, Klaus
Majumdar, Rupak
Palsberg, Jens
Model checking software: 15th international spin workshop, Los Angeles, CA, USA, August 10-12, 2008, proceedings
title Model checking software: 15th international spin workshop, Los Angeles, CA, USA, August 10-12, 2008, proceedings
title_full Model checking software: 15th international spin workshop, Los Angeles, CA, USA, August 10-12, 2008, proceedings
title_fullStr Model checking software: 15th international spin workshop, Los Angeles, CA, USA, August 10-12, 2008, proceedings
title_full_unstemmed Model checking software: 15th international spin workshop, Los Angeles, CA, USA, August 10-12, 2008, proceedings
title_short Model checking software: 15th international spin workshop, Los Angeles, CA, USA, August 10-12, 2008, proceedings
title_sort model checking software: 15th international spin workshop, los angeles, ca, usa, august 10-12, 2008, proceedings
topic XX
url http://cds.cern.ch/record/2756794
work_keys_str_mv AT havelundklaus modelcheckingsoftware15thinternationalspinworkshoplosangelescausaaugust10122008proceedings
AT majumdarrupak modelcheckingsoftware15thinternationalspinworkshoplosangelescausaaugust10122008proceedings
AT palsbergjens modelcheckingsoftware15thinternationalspinworkshoplosangelescausaaugust10122008proceedings

Ejemplares similares