D. Probst
发表
David K. Probst,
Vangalur S. Alagar,
V. Alagar,
1980,
SIAM J. Comput..
David K. Probst,
Vangalur S. Alagar,
V. Alagar,
1977,
International Computing Symposium.
Gregor von Bochmann,
David K. Probst,
G. Bochmann,
1992
.
Hon Fung Li,
David K. Probst,
H. Li,
1990,
CAV.
David K. Probst,
Vangalur S. Alagar,
V. Alagar,
1987,
TOMS.
David K. Probst,
Vangalur S. Alagar,
V. Alagar,
1982,
EUROCAM.
David K. Probst,
D. Probst,
1994,
1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.
Hon Fung Li,
David K. Probst,
D. Probst,
1992,
CAV.
Hon Fung Li,
David K. Probst,
D. Probst,
1988,
IEEE Trans. Computers.
H. F. Li,
D. K. Probst,
R. N. Prasad,
1988
.