%0 Journal Article %1 journals/tkde/TsaiVZ99 %A Tsai, Wei-Tek %A Vishnuvajjala, Ramakrishna V. %A Zhang, Du %D 1999 %J IEEE Trans. Knowl. Data Eng. %K dblp %N 1 %P 202-212 %T Verification and Validation of Knowledge-Based Systems. %U http://dblp.uni-trier.de/db/journals/tkde/tkde11.html#TsaiVZ99 %V 11

@article{journals/tkde/TsaiVZ99, added-at = {2015-09-08T00:00:00.000+0200}, author = {Tsai, Wei-Tek and Vishnuvajjala, Ramakrishna V. and Zhang, Du}, biburl = {https://www.bibsonomy.org/bibtex/26a56490fda7d2abc61f3964ffa0b1198/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/69.755629}, interhash = {876c91f77b47017eb6554bd7af732090}, intrahash = {6a56490fda7d2abc61f3964ffa0b1198}, journal = {IEEE Trans. Knowl. Data Eng.}, keywords = {dblp}, number = 1, pages = {202-212}, timestamp = {2015-09-09T11:40:59.000+0200}, title = {Verification and Validation of Knowledge-Based Systems.}, url = {http://dblp.uni-trier.de/db/journals/tkde/tkde11.html#TsaiVZ99}, volume = 11, year = 1999 }