Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos, Luis E. Zárate. Formal Verification of Transactional Systems Based on UML Specifications. In William C. Chu, Natalia Juristo Juzgado, W. Eric Wong, editors, Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005. pages 199-204, 2005.
@inproceedings{SongPCZ05,
title = {Formal Verification of Transactional Systems Based on UML Specifications},
author = {Mark A. J. Song and Adriano M. Pereira and Sérgio Vale Aguiar Campos and Luis E. Zárate},
year = {2005},
tags = {rule-based, UML},
researchr = {https://researchr.org/publication/SongPCZ05},
cites = {0},
citedby = {0},
pages = {199-204},
booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005), Taipei, Taiwan, Republic of China, July 14-16, 2005},
editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong},
isbn = {1-891706-16-0},
}