Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings

Detalles Bibliográficos
Autores principales: Biondi, Fabrizio, Given-Wilson, Thomas, Legay, Axel
Lenguaje:eng
Publicado: Springer International Publishing AG 2019
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2755322
_version_ 1780969613309247488
author Biondi, Fabrizio
Given-Wilson, Thomas
Legay, Axel
author_facet Biondi, Fabrizio
Given-Wilson, Thomas
Legay, Axel
author_sort Biondi, Fabrizio
collection CERN
id cern-2755322
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2019
publisher Springer International Publishing AG
record_format invenio
spelling cern-27553222021-04-21T16:42:35Zhttp://cds.cern.ch/record/2755322engBiondi, FabrizioGiven-Wilson, ThomasLegay, AxelModel checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27553222019
spellingShingle XX
Biondi, Fabrizio
Given-Wilson, Thomas
Legay, Axel
Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
title Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
title_full Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
title_fullStr Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
title_full_unstemmed Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
title_short Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
title_sort model checking software: 26th international symposium, spin 2019, beijing, china, july 15-16, 2019, proceedings
topic XX
url http://cds.cern.ch/record/2755322
work_keys_str_mv AT biondifabrizio modelcheckingsoftware26thinternationalsymposiumspin2019beijingchinajuly15162019proceedings
AT givenwilsonthomas modelcheckingsoftware26thinternationalsymposiumspin2019beijingchinajuly15162019proceedings
AT legayaxel modelcheckingsoftware26thinternationalsymposiumspin2019beijingchinajuly15162019proceedings

Ejemplares similares