D. M. Baughman

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1996
Publication period end
1996
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Gamble, R. F., Baughman, D. M. (1996): A Methodology to Incorporate Formal Methods in Hybrid KBS Verification. In International Journal of Human-Computer Studies, 44 (2) pp. 213-244.