Advances in verification of time petri nets and timed automata : a temporal logic approach /
41
| Main Authors: | , |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Berlin : Springer,
2006
|
| Subjects: |
| _version_ | 1796650485512404992 |
|---|---|
| author | 428455 Penczek, Wojciech Polrola, Agata |
| author_facet | 428455 Penczek, Wojciech Polrola, Agata |
| author_sort | 428455 Penczek, Wojciech |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-04T13:52:17Z |
| format | |
| id | KOHA-OAI-TEST:27964 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-04T13:52:17Z |
| publishDate | 2006 |
| publisher | Berlin : Springer, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:279642020-12-19T16:56:27ZAdvances in verification of time petri nets and timed automata : a temporal logic approach / 428455 Penczek, Wojciech Polrola, Agata Berlin : Springer,2006eng41PSZJBLPetri netsReal-time controlReal-time data processingURN:ISBN:3540328696 (hbk.) |
| spellingShingle | Petri nets Real-time control Real-time data processing 428455 Penczek, Wojciech Polrola, Agata Advances in verification of time petri nets and timed automata : a temporal logic approach / |
| title | Advances in verification of time petri nets and timed automata : a temporal logic approach / |
| title_full | Advances in verification of time petri nets and timed automata : a temporal logic approach / |
| title_fullStr | Advances in verification of time petri nets and timed automata : a temporal logic approach / |
| title_full_unstemmed | Advances in verification of time petri nets and timed automata : a temporal logic approach / |
| title_short | Advances in verification of time petri nets and timed automata : a temporal logic approach / |
| title_sort | advances in verification of time petri nets and timed automata a temporal logic approach |
| topic | Petri nets Real-time control Real-time data processing |
| work_keys_str_mv | AT 428455penczekwojciech advancesinverificationoftimepetrinetsandtimedautomataatemporallogicapproach AT polrolaagata advancesinverificationoftimepetrinetsandtimedautomataatemporallogicapproach |