Κανονική προβολή
Προβολή MARC
- Bakker, J. W. de
Bakker, J. W. de 1939- (Jacobus Willem), (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