Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings /
57
| Main Authors: | , , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : Springer-Verlag,
2007
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-540-73370-6 |
| _version_ | 1826389729039351808 |
|---|---|
| author | International SPIN Workshop (14th : 2007 : Berlin, Germany) Bosnacki, Dragan, 1963- Edelkamp, Stefan |
| author_facet | International SPIN Workshop (14th : 2007 : Berlin, Germany) Bosnacki, Dragan, 1963- Edelkamp, Stefan |
| author_sort | International SPIN Workshop (14th : 2007 : Berlin, Germany) |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T21:00:28Z |
| format | |
| id | KOHA-OAI-TEST:170546 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T21:00:28Z |
| publishDate | 2007 |
| publisher | Berlin : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1705462020-12-19T17:04:36ZModel checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / International SPIN Workshop (14th : 2007 : Berlin, Germany) Bosnacki, Dragan, 1963- Edelkamp, Stefan Berlin : Springer-Verlag,2007eng575859PSZJBLComputer softwarehttp://dx.doi.org/10.1007/978-3-540-73370-6URN:ISBN:9783540733690 (pbk.)URN:ISBN:3540733698 (pbk.) |
| spellingShingle | Computer software International SPIN Workshop (14th : 2007 : Berlin, Germany) Bosnacki, Dragan, 1963- Edelkamp, Stefan Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / |
| title | Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / |
| title_full | Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / |
| title_fullStr | Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / |
| title_full_unstemmed | Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / |
| title_short | Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings / |
| title_sort | model checking software 14th international spin workshop berlin germany july 1 3 2007 proceedings |
| topic | Computer software |
| url | http://dx.doi.org/10.1007/978-3-540-73370-6 |
| work_keys_str_mv | AT internationalspinworkshop14th2007berlingermany modelcheckingsoftware14thinternationalspinworkshopberlingermanyjuly132007proceedings AT bosnackidragan1963 modelcheckingsoftware14thinternationalspinworkshopberlingermanyjuly132007proceedings AT edelkampstefan modelcheckingsoftware14thinternationalspinworkshopberlingermanyjuly132007proceedings |