Normal view MARC view

Avrunin, George S (Personal Name)

Preferred form: Avrunin, George S

Machine generated authority record

Work cat.: (NEDUET)743037: Avrunin, George S., Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems