%0 Journal Article %1 preece97 %A Preece, Alun D. %A Talbot, St&\#233;phane %A Vignollet, Laurence %C Duluth, MN, USA %D 1997 %I Academic Press, Inc. %J Int. J. Hum.-Comput. Stud. %K evaluation knowledge system tools verification %N 5 %P 629--658 %R http://dx.doi.org/10.1006/ijhc.1997.0152 %T Evaluation of verification tools for knowledge-based systems %V 47

@article{preece97, added-at = {2009-09-30T17:02:53.000+0200}, address = {Duluth, MN, USA}, author = {Preece, Alun D. and Talbot, St\&\#233;phane and Vignollet, Laurence}, biburl = {https://www.bibsonomy.org/bibtex/208df5555db1631b6e3eaddea69a5aa16/miuhhh}, doi = {http://dx.doi.org/10.1006/ijhc.1997.0152}, interhash = {099da4d7ec5101e4bef88932f3dda041}, intrahash = {08df5555db1631b6e3eaddea69a5aa16}, issn = {1071-5819}, journal = {Int. J. Hum.-Comput. Stud.}, keywords = {evaluation knowledge system tools verification}, number = 5, pages = {629--658}, publisher = {Academic Press, Inc.}, timestamp = {2009-09-30T17:02:53.000+0200}, title = {Evaluation of verification tools for knowledge-based systems}, volume = 47, year = 1997 }