%0 Journal Article %1 journals/tosem/BaresiMMKR17 %A Baresi, Luciano %A Morzenti, Angelo %A Motta, Alfredo %A Kallehbasti, Mohammad Mehdi Pourhashem %A Rossi, Matteo %D 2017 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 2 %P 7:1-7:47 %T A Logic-Based Approach for the Verification of UML Timed Models. %U http://dblp.uni-trier.de/db/journals/tosem/tosem26.html#BaresiMMKR17 %V 26

@article{journals/tosem/BaresiMMKR17, added-at = {2018-11-06T00:00:00.000+0100}, author = {Baresi, Luciano and Morzenti, Angelo and Motta, Alfredo and Kallehbasti, Mohammad Mehdi Pourhashem and Rossi, Matteo}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2674d3b15a3d518501c9b3103c1c917d6/dblp}, ee = {https://doi.org/10.1145/3106411}, interhash = {3608be697becad8775037fa801a03093}, intrahash = {674d3b15a3d518501c9b3103c1c917d6}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 2, pages = {7:1-7:47}, timestamp = {2019-09-27T10:43:26.000+0200}, title = {A Logic-Based Approach for the Verification of UML Timed Models.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem26.html#BaresiMMKR17}, volume = 26, year = 2017 }