The spin model checker: primer and reference manual

Detalles Bibliográficos
Autor principal: Holzmann, Gerald J
Lenguaje:eng
Publicado: Addison-Wesley 2004
Materias:
Acceso en línea:http://cds.cern.ch/record/1506048
_version_ 1780927377491099648
author Holzmann, Gerald J
author_facet Holzmann, Gerald J
author_sort Holzmann, Gerald J
collection CERN
id cern-1506048
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2004
publisher Addison-Wesley
record_format invenio
spelling cern-15060482021-04-21T23:48:56Zhttp://cds.cern.ch/record/1506048engHolzmann, Gerald JThe spin model checker: primer and reference manualEngineeringAddison-Wesleyoai:cds.cern.ch:15060482004
spellingShingle Engineering
Holzmann, Gerald J
The spin model checker: primer and reference manual
title The spin model checker: primer and reference manual
title_full The spin model checker: primer and reference manual
title_fullStr The spin model checker: primer and reference manual
title_full_unstemmed The spin model checker: primer and reference manual
title_short The spin model checker: primer and reference manual
title_sort spin model checker: primer and reference manual
topic Engineering
url http://cds.cern.ch/record/1506048
work_keys_str_mv AT holzmanngeraldj thespinmodelcheckerprimerandreferencemanual
AT holzmanngeraldj spinmodelcheckerprimerandreferencemanual