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

• Main Author: Penczek, Wojciech
• Other Authors: PΓ³lrola, Agata
• Format: Electronic Kit Book
• Language: English
• Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
• Series: Studies in Computational Intelligence 20
• Subjects: Engineering; Engineering mathematics; Appl.Mathematics/Computational Methods of Engineering; Artificial Intelligence (incl. Robotics); Τεχνητή νοημοσύνη