Description Logic Representation for Requirement Specification.
Y. Zhang, and W. Zhang. International Conference on Computational Science (2), volume 4488 of Lecture Notes in Computer Science, page 1147-1154. Springer, (2007)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/iccS/ZhangZ07b
%A Zhang, Yingzhou
%A Zhang, Weifeng
%B International Conference on Computational Science (2)
%D 2007
%E Shi, Yong
%E van Albada, G. Dick
%E Dongarra, Jack J.
%E Sloot, Peter M. A.
%I Springer
%K dblp
%P 1147-1154
%T Description Logic Representation for Requirement Specification.
%U http://dblp.uni-trier.de/db/conf/iccS/iccS2007-2.html#ZhangZ07b
%V 4488
%@ 978-3-540-72585-5
@inproceedings{conf/iccS/ZhangZ07b,
added-at = {2018-06-26T00:00:00.000+0200},
author = {Zhang, Yingzhou and Zhang, Weifeng},
biburl = {https://www.bibsonomy.org/bibtex/2301ed71db20bf745d57fd4c31afe7c3a/dblp},
booktitle = {International Conference on Computational Science (2)},
crossref = {conf/iccS/2007-2},
editor = {Shi, Yong and van Albada, G. Dick and Dongarra, Jack J. and Sloot, Peter M. A.},
ee = {https://doi.org/10.1007/978-3-540-72586-2_160},
interhash = {6bbb0f8a10b78002b48d3af5c927dac2},
intrahash = {301ed71db20bf745d57fd4c31afe7c3a},
isbn = {978-3-540-72585-5},
keywords = {dblp},
pages = {1147-1154},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T20:34:55.000+0200},
title = {Description Logic Representation for Requirement Specification.},
url = {http://dblp.uni-trier.de/db/conf/iccS/iccS2007-2.html#ZhangZ07b},
volume = 4488,
year = 2007
}