Formal Verification of Transactional Systems Based on UML Specifications.

Mark A. J. Song, Adriano C. M. Pereira, Srgio Vale Aguiar Campos, Luis E. Zrate

Browse the full SEKE paper archive.