25 years of model checking : history, achievements, perspectives
238 p.
Saved in:
Other Authors: | |
---|---|
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 |