David K. Probst
发表
Hon Fung Li,
David K. Probst,
1997
.
Hon Fung Li,
David K. Probst,
D. Probst,
1988,
IEEE Trans. Computers.
Hon Fung Li,
David K. Probst,
1997,
CHARME.
David K. Probst,
2015
.
David K. Probst,
D. Probst,
1994,
1994 Proceedings of the Twenty-Seventh Hawaii International Conference on System Sciences.
David K. Probst,
Vangalur S. Alagar,
V. Alagar,
1987,
TOMS.
Hon Fung Li,
David K. Probst,
1997,
IFIP Advances in Information and Communication Technology.
David K. Probst,
1993
.
David K. Probst,
Vangalur S. Alagar,
V. Alagar,
1980,
SIAM J. Comput..
David K. Probst,
Yumin Zhang,
2015
.
Hon Fung Li,
David K. Probst,
D. Probst,
1992,
CAV.
David K. Probst,
Vangalur S. Alagar,
V. Alagar,
1977,
International Computing Symposium.
Hon Fung Li,
David K. Probst,
1990,
CAV.
Hon Fung Li,
David K. Probst,
1990
.
Gregor von Bochmann,
David K. Probst,
G. Bochmann,
1992
.
David K. Probst,
Yumin Zhang,
2014
.
David K. Probst,
Vangalur S. Alagar,
V. Alagar,
1982,
EUROCAM.
David K. Probst,
Yumin Zhang,
2018
.
Hon Fung Li,
David K. Probst,
1997
.
Hon Fung Li,
David K. Probst,
1991,
CAV.
Hon Fung Li,
David K. Probst,
1993,
CAV.
Gregor von Bochmann,
David K. Probst,
1993,
CAV 1993.
Hon Fung Li,
David K. Probst,
H. Li,
1990,
CAV.
Hon Fung Li,
David K. Probst,
1990,
IEEE Trans. Computers.
David K. Probst,
Hon Fung Li,
1992
.
Hon Fung Li,
David K. Probst,
Ifip Wg,
1997
.
Renato De Mori,
David K. Probst,
Lily Lam,
1987
.