Hang Cheng

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998

1 EE Daniel Berleant, Hang Cheng: A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions. Reliable Computing 4(1): 71-82 (1998)

1998
1	EE	Daniel Berleant, Hang Cheng: A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions. Reliable Computing 4(1): 71-82 (1998)

Coauthor Index

1 Daniel Berleant [1]