Motoshi Saeki, Haruhiko Kaiya, Satoshi Hattori. Applying a Model Checker to Check Regulatory Compliance of Use Case Models. In Eric S. K. Yu, Johann Eder, Colette Rolland, editors, Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam, The Netherlands, 8-12 June 2009. Volume 453 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]
@inproceedings{SaekiKH09-0,
title = {Applying a Model Checker to Check Regulatory Compliance of Use Case Models},
author = {Motoshi Saeki and Haruhiko Kaiya and Satoshi Hattori},
year = {2009},
url = {http://ceur-ws.org/Vol-453/paper03.pdf},
researchr = {https://researchr.org/publication/SaekiKH09-0},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the Forum at the CAiSE 2009 Conference, Amsterdam, The Netherlands, 8-12 June 2009},
editor = {Eric S. K. Yu and Johann Eder and Colette Rolland},
volume = {453},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}