Temporal logic and state systems /
32
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : Springer-Verlag,
2008
|
| Subjects: |
| _version_ | 1826389718474948608 |
|---|---|
| author | Kroger, Fred, 1945- Merz, Stephan |
| author_facet | Kroger, Fred, 1945- Merz, Stephan |
| author_sort | Kroger, Fred, 1945- |
| collection | OCEAN |
| description | 32 |
| first_indexed | 2024-03-04T21:00:19Z |
| format | |
| id | KOHA-OAI-TEST:170494 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T21:00:19Z |
| publishDate | 2008 |
| publisher | Berlin : Springer-Verlag, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1704942020-12-19T17:04:36ZTemporal logic and state systems / Kroger, Fred, 1945- Merz, Stephan Berlin : Springer-Verlag,2008eng3244PSZJBLTense (Logic)Logic, Symbolic and mathematicalTimeURN:ISBN:9783540674016 (hbk.) |
| spellingShingle | Tense (Logic) Logic, Symbolic and mathematical Time Kroger, Fred, 1945- Merz, Stephan Temporal logic and state systems / |
| title | Temporal logic and state systems / |
| title_full | Temporal logic and state systems / |
| title_fullStr | Temporal logic and state systems / |
| title_full_unstemmed | Temporal logic and state systems / |
| title_short | Temporal logic and state systems / |
| title_sort | temporal logic and state systems |
| topic | Tense (Logic) Logic, Symbolic and mathematical Time |
| work_keys_str_mv | AT krogerfred1945 temporallogicandstatesystems AT merzstephan temporallogicandstatesystems |