Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach

• Κύριος συγγραφέας: Penczek, Wojciech
• Άλλοι συγγραφείς: PΓ³lrola, Agata
• Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
• Σειρά: Studies in Computational Intelligence 20
• Θέματα: Engineering; Engineering mathematics; Appl.Mathematics/Computational Methods of Engineering; Artificial Intelligence (incl. Robotics); Τεχνητή νοημοσύνη