Principles of the Spin model checker

225p.

Saved in:
Bibliographic Details
Main Author: Mordechai Ben-Ari
Format: Book
Language:English
Published: Springer 2017
Subjects:
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/25847
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English
id oai:112.137.131.14:VNU_123-25847
record_format dspace
spelling oai:112.137.131.14:VNU_123-258472020-06-08T07:46:58Z Principles of the Spin model checker Mordechai Ben-Ari Computer Science ; Computer software -- Verification. 005.14 225p. 2017-04-11T01:07:33Z 2017-04-11T01:07:33Z 2008 Book http://repository.vnu.edu.vn/handle/VNU_123/25847 en application/pdf Springer
institution Vietnam National University, Hanoi
building VNU Library & Information Center
country Vietnam
collection VNU Digital Repository
language English
topic Computer Science ; Computer software -- Verification.
005.14
spellingShingle Computer Science ; Computer software -- Verification.
005.14
Mordechai Ben-Ari
Principles of the Spin model checker
description 225p.
format Book
author Mordechai Ben-Ari
author_facet Mordechai Ben-Ari
author_sort Mordechai Ben-Ari
title Principles of the Spin model checker
title_short Principles of the Spin model checker
title_full Principles of the Spin model checker
title_fullStr Principles of the Spin model checker
title_full_unstemmed Principles of the Spin model checker
title_sort principles of the spin model checker
publisher Springer
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/25847
_version_ 1680966969641140224