Luigi Lavazza, Giuseppe Occorso. Simulation-based Verification of UML models. In Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003. pages 314-321, 2003.
@inproceedings{LavazzaO03,
title = {Simulation-based Verification of UML models},
author = {Luigi Lavazza and Giuseppe Occorso},
year = {2003},
tags = {rule-based, UML},
researchr = {https://researchr.org/publication/LavazzaO03},
cites = {0},
citedby = {0},
pages = {314-321},
booktitle = {Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE 2003), Hotel Sofitel, San Francisco Bay, CA, USA, July 1-3, 2003},
}