Cargando…
Decidability of parameterized verification
| Autores principales: | , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Morgan & Claypool Publ.
2015
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2123667 |
| _version_ | 1780949525708406784 |
|---|---|
| author | Bloem, Roderick Jacobs, Swen Khalimov, Ayrat Konnov, Igor |
| author_facet | Bloem, Roderick Jacobs, Swen Khalimov, Ayrat Konnov, Igor |
| author_sort | Bloem, Roderick |
| collection | CERN |
| id | cern-2123667 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2015 |
| publisher | Morgan & Claypool Publ. |
| record_format | invenio |
| spelling | cern-21236672021-04-21T19:51:27Zhttp://cds.cern.ch/record/2123667engBloem, RoderickJacobs, SwenKhalimov, AyratKonnov, IgorDecidability of parameterized verificationComputing and ComputersMorgan & Claypool Publ.oai:cds.cern.ch:21236672015 |
| spellingShingle | Computing and Computers Bloem, Roderick Jacobs, Swen Khalimov, Ayrat Konnov, Igor Decidability of parameterized verification |
| title | Decidability of parameterized verification |
| title_full | Decidability of parameterized verification |
| title_fullStr | Decidability of parameterized verification |
| title_full_unstemmed | Decidability of parameterized verification |
| title_short | Decidability of parameterized verification |
| title_sort | decidability of parameterized verification |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/2123667 |
| work_keys_str_mv | AT bloemroderick decidabilityofparameterizedverification AT jacobsswen decidabilityofparameterizedverification AT khalimovayrat decidabilityofparameterizedverification AT konnovigor decidabilityofparameterizedverification |