Κανονική προβολή
Προβολή MARC
- Roever, W. P. De
Roever, W. P. De (Personal Name)
Machine generated authority record.
Work cat.: (GR-PaULI)90205: Linear time, branching time and partial order in logics and models for concurrency, 1989
Machine generated authority record.
Work cat.: (GR-PaULI)90205: Linear time, branching time and partial order in logics and models for concurrency, 1989
![]() |
Πανεπιστήμιο Πατρών, Βιβλιοθήκη & Κέντρο Πληροφόρησης, 265 04, Πάτρα Τηλ: 2610969621, Φόρμα επικοινωνίας |
![]() ![]() ![]() |
![]() |