Mark A. J. Song, Adriano M. Pereira, Sérgio Vale Aguiar Campos. Formal Verification of Transactional Systems. In José Cordeiro, Vitor Pedrosa, Bruno Encarnação, Joaquim Filipe, editors, WEBIST 2005, Proceedings of the First International Conference on Web Information Systems and Technologies, Miami, USA, May 26-28, 2005. pages 194-197, INSTICC Press, 2005.
Abstract is missing.