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
SEKE, 2005.
@inproceedings{SEKE-2005-SongPCZ,
author = "Mark A. J. Song and Adriano M. Pereira and Sérgio Vale Aguiar Campos and Luis E. Zárate",
booktitle = "{Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-16-0",
pages = "199--204",
title = "{Formal Verification of Transactional Systems Based on UML Specifications}",
year = 2005,
}