%0 Journal Article %1 journals/ijmms/PreeceTV97 %A Preece, Alun D. %A Talbot, Stephane %A Vignollet, Laurence %D 1997 %J Int. J. Hum. Comput. Stud. %K dblp %N 5 %P 629-658 %T Evaluation of verification tools for knowledge-based systems. %U http://dblp.uni-trier.de/db/journals/ijmms/ijmms47.html#PreeceTV97 %V 47

@article{journals/ijmms/PreeceTV97, added-at = {2020-02-21T00:00:00.000+0100}, author = {Preece, Alun D. and Talbot, Stephane and Vignollet, Laurence}, biburl = {https://www.bibsonomy.org/bibtex/273163db7149dddda70da0ad071ead34b/dblp}, ee = {https://doi.org/10.1006/ijhc.1997.0152}, interhash = {099da4d7ec5101e4bef88932f3dda041}, intrahash = {73163db7149dddda70da0ad071ead34b}, journal = {Int. J. Hum. Comput. Stud.}, keywords = {dblp}, number = 5, pages = {629-658}, timestamp = {2020-02-22T12:42:56.000+0100}, title = {Evaluation of verification tools for knowledge-based systems.}, url = {http://dblp.uni-trier.de/db/journals/ijmms/ijmms47.html#PreeceTV97}, volume = 47, year = 1997 }