Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings

Detalles Bibliográficos
Autores principales: Gallardo, María del Mar, Merino, Pedro
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2761447
_version_ 1780970524493479936
author Gallardo, María del Mar
Merino, Pedro
author_facet Gallardo, María del Mar
Merino, Pedro
author_sort Gallardo, María del Mar
collection CERN
id cern-2761447
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2018
publisher Springer International Publishing AG
record_format invenio
spelling cern-27614472021-04-21T16:39:39Zhttp://cds.cern.ch/record/2761447engGallardo, María del MarMerino, PedroModel checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedingsXXSpringer International Publishing AGoai:cds.cern.ch:27614472018
spellingShingle XX
Gallardo, María del Mar
Merino, Pedro
Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
title Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
title_full Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
title_fullStr Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
title_full_unstemmed Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
title_short Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
title_sort model checking software: 25th international symposium, spin 2018, malaga, spain, june 20-22, 2018, proceedings
topic XX
url http://cds.cern.ch/record/2761447
work_keys_str_mv AT gallardomariadelmar modelcheckingsoftware25thinternationalsymposiumspin2018malagaspainjune20222018proceedings
AT merinopedro modelcheckingsoftware25thinternationalsymposiumspin2018malagaspainjune20222018proceedings

Ejemplares similares