25 years of model checking : history, achievements, perspectives

238 p.

Saved in:
Bibliographic Details
Other Authors: Grumberg, Orna ; Veith, Helmut
Format: Book
Language:English
Published: Springer 2017
Subjects:
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/31241
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-31241
record_format dspace
spelling oai:112.137.131.14:VNU_123-312412020-07-14T03:23:08Z 25 years of model checking : history, achievements, perspectives Grumberg, Orna ; Veith, Helmut Computer Science ; Computer systems --Verification 005.14 238 p. 2017-04-19T04:34:58Z 2017-04-19T04:34:58Z 2008 Book http://repository.vnu.edu.vn/handle/VNU_123/31241 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 systems --Verification
005.14
spellingShingle Computer Science ; Computer systems --Verification
005.14
25 years of model checking : history, achievements, perspectives
description 238 p.
author2 Grumberg, Orna ; Veith, Helmut
author_facet Grumberg, Orna ; Veith, Helmut
format Book
title 25 years of model checking : history, achievements, perspectives
title_short 25 years of model checking : history, achievements, perspectives
title_full 25 years of model checking : history, achievements, perspectives
title_fullStr 25 years of model checking : history, achievements, perspectives
title_full_unstemmed 25 years of model checking : history, achievements, perspectives
title_sort 25 years of model checking : history, achievements, perspectives
publisher Springer
publishDate 2017
url http://repository.vnu.edu.vn/handle/VNU_123/31241
_version_ 1680963278968193024