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
Search Result 1
ανά Penczek, Wojciech, Pólrola, Agata
Έκδοση 2006
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο