Η αναζήτηση επέστρεψε 2 αποτελέσματα.

Αποτελέσματα
	1.	Advances in Verification of Time Petri Nets and Timed Automata [electronic resource] A Temporal Logic Approach by Wojciech Penczek, Agata PΓ³lrola από Penczek, Wojciech PΓ³lrola, Agata Σειρά: Studies in Computational Intelligence ; 20 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)
	2.	Applications and Theory of Petri Nets [electronic resource] 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings edited by Johan Lilius, Wojciech Penczek από Lilius, Johan Penczek, Wojciech SpringerLink (Online service) Σειρά: Lecture Notes in Computer Science ; 6128 Τύπος υλικού: Κιτ Γλώσσα: Αγγλικά Λεπτομέρειες δημοσίευσης: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010 Ηλεκτρονική πρόσβαση: Επιλέξτε για διαδικτυακή πρόσβαση Διαθεσιμότητα: Διαθέσιμα αντίτυπα για δανεισμό: ΒΚΠ - Πατρα (1). Προσθήκη στο καλάθι (αφαίρεση)

Βελτιώστε την αναζήτησή σας