TY  - RPRT
TI  - Continuous Measurements and Quantitative Constraints: Challenge Problems for Discrete Modeling Techniques
AU  - Goodrich, Charles H.
AU  - Kurien, James
AU  - Clancy, Daniel
PY  - 2001
UR  - https://ntrs.nasa.gov/citations/20020051224
ID  - 20020051224
ER  -