Yasser Kotb, Takuya Katayama. A Novel Technique to Verify the UML Use Case Diagrams. In Peter Kokol, editor, Proceedings of the IASTED International Conference on Software Engineering, February 14-16, 2006, Innsbruck, Austria. pages 300-305, IASTED/ACTA Press, 2006.
@inproceedings{KotbK06,
title = {A Novel Technique to Verify the UML Use Case Diagrams},
author = {Yasser Kotb and Takuya Katayama},
year = {2006},
tags = {UML},
researchr = {https://researchr.org/publication/KotbK06},
cites = {0},
citedby = {0},
pages = {300-305},
booktitle = {Proceedings of the IASTED International Conference on Software Engineering, February 14-16, 2006, Innsbruck, Austria},
editor = {Peter Kokol},
publisher = {IASTED/ACTA Press},
isbn = {0-88986-574-4},
}