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 |
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/978-3-540-32870-4 |
Παρόμοια τεκμήρια
-
Logical Foundations for Rule-Based Systems
ανά: LigΓͺza, Antoni
Έκδοση: (2006) -
Parallel and Distributed Logic Programming Towards the Design of a Framework for the Next Generation Database Machines
ανά: Bhattacharya, Alakananda
Έκδοση: (2006) -
Neural Networks: Computational Models and Applications
ανά: Tang, Huajin
Έκδοση: (2007) -
Neuro-Fuzzy Associative Machinery for Comprehensive Brain and Cognition Modelling
ανά: Ivancevic, Vladimir G.
Έκδοση: (2007) -
Fundamentals of Relational Database Management Systems
ανά: Sumathi, S.
Έκδοση: (2007)