Alan F. Babich

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page