M. Couzinier, Louis Féraud. Formal Verification of Dynamic UML Diagrams using TLA+. In Yuri I. Shokin, O. I. Potaturkin, editors, Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, Novosibirsk, Russia, June 20-24, 2005. pages 85-91, IASTED/ACTA Press, 2005.
@inproceedings{CouzinierF05,
title = {Formal Verification of Dynamic UML Diagrams using TLA+},
author = {M. Couzinier and Louis Féraud},
year = {2005},
tags = {UML},
researchr = {https://researchr.org/publication/CouzinierF05},
cites = {0},
citedby = {0},
pages = {85-91},
booktitle = {Proceedings of the Second IASTED International Multi-Conference on Automation, Control, and Information Technology, Novosibirsk, Russia, June 20-24, 2005},
editor = {Yuri I. Shokin and O. I. Potaturkin},
publisher = {IASTED/ACTA Press},
isbn = {0-88986-475-6},
}