Conditional Capabilities
From MaRDI portal
Publication:3206292
DOI10.1109/TSE.1979.230184zbMath0416.68022MaRDI QIDQ3206292
Kattamuri Ekanadham, Arthur Bernstein
Publication date: 1979
Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)
68N25: Theory of operating systems