Normal view
MARC view
Corbett, James C (Personal Name)
Machine generated authority record
Work cat.: (NEDUET)743037: Avrunin, George S. 775203, Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems