The spin model checker: primer and reference manual
Autor principal: | |
---|---|
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 |