Κανονική προβολή
Προβολή MARC
- Chatterjee, Krishnendu
Chatterjee, Krishnendu (Personal Name)
Machine generated authority record.
Work cat.: (GR-PaULI)66841: Chatterjee, Krishnendu, Formal Modeling and Analysis of Timed Systems, 2010
Machine generated authority record.
Work cat.: (GR-PaULI)66841: Chatterjee, Krishnendu, Formal Modeling and Analysis of Timed Systems, 2010
![]() |
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα Τηλ: 2610969621, Φόρμα επικοινωνίας |
![]() ![]() ![]() |
![]() |