Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] A Temporal Logic Approach by Wojciech Penczek, Agata PΓ³lrola
Τύπος υλικού: ΚιτΓλώσσα: Αγγλικά Σειρά: Studies in Computational Intelligence ; 20Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006Περιγραφή: v.: digitalISBN:- 9783540328704
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
Electronic Resource | ΒΚΠ - Πατρα | Διαθέσιμο |