Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings

Detalles Bibliográficos
Autores principales: Fischer, Bernd, Geldenhuys, Jaco
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/2757599
_version_ 1780969971661144064
author Fischer, Bernd
Geldenhuys, Jaco
author_facet Fischer, Bernd
Geldenhuys, Jaco
author_sort Fischer, Bernd
collection CERN
id cern-2757599
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2015
publisher Springer International Publishing AG
record_format invenio
spelling cern-27575992021-04-21T16:41:08Zhttp://cds.cern.ch/record/2757599engFischer, BerndGeldenhuys, JacoModel checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedingsComputing and ComputersSpringer International Publishing AGoai:cds.cern.ch:27575992015
spellingShingle Computing and Computers
Fischer, Bernd
Geldenhuys, Jaco
Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
title Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
title_full Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
title_fullStr Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
title_full_unstemmed Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
title_short Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
title_sort model checking software: 22nd international symposium, spin 2015, stellenbosch, south africa, august 24-26, 2015, proceedings
topic Computing and Computers
url http://cds.cern.ch/record/2757599
work_keys_str_mv AT fischerbernd modelcheckingsoftware22ndinternationalsymposiumspin2015stellenboschsouthafricaaugust24262015proceedings
AT geldenhuysjaco modelcheckingsoftware22ndinternationalsymposiumspin2015stellenboschsouthafricaaugust24262015proceedings

Ejemplares similares