Alan F. Babich

Publication Activity (10 Years)

Years Active: 1975-1979
Publications (10 Years): 0

Publications

Alan F. Babich
Proving Total Correctness of Parallel Programs. IEEE Trans. Software Eng. 5 (6) (1979)
Alan F. Babich, John Grason, David Lorge Parnas
Significant Event Simulation. Commun. ACM 18 (6) (1975)