Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Puppis, Gabriele
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg Springer Berlin Heidelberg 2010
Σειρά:Lecture Notes in Computer Science 5955
Θέματα:
Διαθέσιμο Online:http://dx.doi.org/10.1007/978-3-642-11881-4

Διαδίκτυο

http://dx.doi.org/10.1007/978-3-642-11881-4

ΒΚΠ - Πατρα: Unknown

Λεπτομέρειες τεκμηρίων από ΒΚΠ - Πατρα: Unknown
Ταξιθετικός Αριθμός: Unknown
Αντίγραφο Unknown Στη βιβλιοθήκη