Verification of resource controller processes

Krithi Ramamritham. Verification of resource controller processes. Inf. Syst., 12(1):57-67, 1987.

Abstract

Abstract is missing.