Dieter Fensel, Arno Schönegge
Using KIV to Specify and Verify Architectures of Knowledge-Based Systems
ASE, 1997.
@inproceedings{ASE-1997-FenselS,
author = "Dieter Fensel and Arno Schönegge",
booktitle = "{Proceedings of the 12th International Conference on Automated Software Engineering}",
ee = "http://computer.org/proceedings/ase/7961/79610071abs.htm",
pages = "71--None",
publisher = "{IEEE Computer Society}",
title = "{Using KIV to Specify and Verify Architectures of Knowledge-Based Systems}",
year = 1997,
}