Yoshiyuki Shinkawa. Evaluating UML Sequence Models using the SPIN Model Checker. In Joaquim Filipe, José Cordeiro, editors, ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010. pages 417-422, SciTePress, 2010.
@inproceedings{Shinkawa10,
title = {Evaluating UML Sequence Models using the SPIN Model Checker},
author = {Yoshiyuki Shinkawa},
year = {2010},
tags = {meta-model, UML, Meta-Environment},
researchr = {https://researchr.org/publication/Shinkawa10},
cites = {0},
citedby = {0},
pages = {417-422},
booktitle = {ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8 - 12, 2010},
editor = {Joaquim Filipe and José Cordeiro},
publisher = {SciTePress},
isbn = {978-989-8425-06-5},
}