Κανονική προβολή Προβολή MARC Προβολή ISBD

Penczek, Wojciech

Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach [electronic resource] by Wojciech Penczek, Agata PΓ³lrola - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 - v.: digital - Studies in Computational Intelligence 20 1860-949X .

ISBN: 9783540328704

Subjects--Topical Terms:
Engineering
Engineering mathematics
Engineering
Appl.Mathematics/Computational Methods of Engineering
Artificial Intelligence (incl. Robotics)
Τεχνητή νοημοσύνη