3 papers:
ICEIS-v2-2004-DhoteMR #analysis #detection #development #fault- Development of an Expert System for Detecting Incipient Fault in Transformer by Dissolved Gas Analysis (NKD, DMH, MRR), pp. 210–215.
WICSA-2001-Shaw #architecture #bound #communication #research #ubiquitous- When System Boundaries Dissolve: Research Opportunities in Software Architectures for Ubiquitous Computing and Communication (MS), p. 99–?.
CADE-1990-MurrayR #named #proving #theorem proving- DISSOLVER: A Dissolution-based Theorem Prover (NVM, ER), pp. 665–666.
