![](/img/cover-not-exists.png)
[IEEE 1st International Conference on Conventional and Knowledge Based Intelligent Electronic Systems. KES '97 - Adelaide, SA, Australia (21-23 May 1997)] Proceedings of 1st International Conference on Conventional and Knowledge Based Intelligent Electronic Systems. KES '97 - Formal verification of the correctness in hybrid expert systems
Shiu, S.C.K., Liu, J.N.K., Yeung, D.S.Volume:
2
Year:
1997
Language:
english
DOI:
10.1109/kes.1997.619418
File:
PDF, 872 KB
english, 1997