Normal view
MARC view
Venkatesh, G (Personal Name)
Machine generated authority record.
Work cat.: (OSt)173160: Ahmed, Mohsin Author 46406, Dense time logics (R), 1993