%0 Journal Article %1 journals/sigsoft/BaresiMMR12 %A Baresi, Luciano %A Morzenti, Angelo %A Motta, Alfredo %A Rossi, Matteo %D 2012 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 4 %P 1-8 %T A logic-based semantics for the verification of multi-diagram UML models. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft37.html#BaresiMMR12 %V 37

@article{journals/sigsoft/BaresiMMR12, added-at = {2023-04-17T00:00:00.000+0200}, author = {Baresi, Luciano and Morzenti, Angelo and Motta, Alfredo and Rossi, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/227800c02a7c1f5bafcc806eaf5e5b112/dblp}, ee = {https://doi.org/10.1145/2237796.2237811}, interhash = {ee7ee6fd6e7382e25b9cdac50614c882}, intrahash = {27800c02a7c1f5bafcc806eaf5e5b112}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, number = 4, pages = {1-8}, timestamp = {2024-04-08T18:56:20.000+0200}, title = {A logic-based semantics for the verification of multi-diagram UML models.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft37.html#BaresiMMR12}, volume = 37, year = 2012 }