Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
57
| Main Authors: | , , |
|---|---|
| Formato: | |
| Idioma: | eng |
| Publicado em: |
Berlin : Springer,
2006
|
| Assuntos: |
| _version_ | 1826364754386485248 |
|---|---|
| author | International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy) Cimatti, Alessandro Bernardo, Marco |
| author_facet | International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy) Cimatti, Alessandro Bernardo, Marco |
| author_sort | International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy) |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T14:54:43Z |
| format | |
| id | KOHA-OAI-TEST:48716 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T14:54:43Z |
| publishDate | 2006 |
| publisher | Berlin : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:487162020-12-19T16:58:32ZFormal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy) Cimatti, Alessandro Bernardo, Marco Berlin : Springer,2006eng575859PSZJBLFormal methods (Computer science)Integrated circuitsURN:ISBN:3540343040 (pbk.) |
| spellingShingle | Formal methods (Computer science) Integrated circuits International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy) Cimatti, Alessandro Bernardo, Marco Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / |
| title | Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / |
| title_full | Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / |
| title_fullStr | Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / |
| title_full_unstemmed | Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / |
| title_short | Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures / |
| title_sort | formal methods for hardware verification 6th international school on formal methods for the design of computer communication and software systems sfm 2006 bertinoro italy may 22 27 2006 advanced lectures |
| topic | Formal methods (Computer science) Integrated circuits |
| work_keys_str_mv | AT internationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystems6th2006bertinoroitaly formalmethodsforhardwareverification6thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2006bertinoroitalymay22272006advancedlectures AT cimattialessandro formalmethodsforhardwareverification6thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2006bertinoroitalymay22272006advancedlectures AT bernardomarco formalmethodsforhardwareverification6thinternationalschoolonformalmethodsforthedesignofcomputercommunicationandsoftwaresystemssfm2006bertinoroitalymay22272006advancedlectures |