Model checking /
57
| Principais autores: | , , |
|---|---|
| Formato: | |
| Idioma: | eng |
| Publicado em: |
Cambridge, MA : The MIT Press,
1999
|
| Assuntos: |
| _version_ | 1826382235885895680 |
|---|---|
| author | Clarke, E. M., 1945- Grumberg, Orna Peled, Doron, 1962- |
| author_facet | Clarke, E. M., 1945- Grumberg, Orna Peled, Doron, 1962- |
| author_sort | Clarke, E. M., 1945- |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T19:12:35Z |
| format | |
| id | KOHA-OAI-TEST:134691 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T19:12:35Z |
| publishDate | 1999 |
| publisher | Cambridge, MA : The MIT Press, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1346912020-12-19T17:03:10ZModel checking / Clarke, E. M., 1945- Grumberg, Orna Peled, Doron, 1962- Cambridge, MA : The MIT Press,1999eng575859PSZJBLComputer systemsURN:ISBN:0262032708 (hbk.) |
| spellingShingle | Computer systems Clarke, E. M., 1945- Grumberg, Orna Peled, Doron, 1962- Model checking / |
| title | Model checking / |
| title_full | Model checking / |
| title_fullStr | Model checking / |
| title_full_unstemmed | Model checking / |
| title_short | Model checking / |
| title_sort | model checking |
| topic | Computer systems |
| work_keys_str_mv | AT clarkeem1945 modelchecking AT grumbergorna modelchecking AT peleddoron1962 modelchecking |