Alan F. Babich

List of publications from the DBLP Bibliography Server - FAQ

1979

2 Alan F. Babich: Proving Total Correctness of Parallel Programs. IEEE Trans. Software Eng. 5(6): 558-574 (1979)

1975

1 Alan F. Babich, John Grason, David Lorge Parnas: Significant Event Simulation. Commun. ACM 18(6): 323-329 (1975)

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

Coauthor Index