%0 Journal Article %1 journals/sosym/ZurowskaD17 %A Zurowska, Karolina %A Dingel, Juergen %D 2017 %J Software and Systems Modeling %K dblp %N 2 %P 393-415 %T Language-specific model checking of UML-RT models. %U http://dblp.uni-trier.de/db/journals/sosym/sosym16.html#ZurowskaD17 %V 16

@article{journals/sosym/ZurowskaD17, added-at = {2019-08-19T00:00:00.000+0200}, author = {Zurowska, Karolina and Dingel, Juergen}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2bc9e87ef491e9497a347c8a1994f39bb/dblp}, ee = {https://doi.org/10.1007/s10270-015-0484-y}, interhash = {5e8a236a48042fc3d899afe16ccce48c}, intrahash = {bc9e87ef491e9497a347c8a1994f39bb}, journal = {Software and Systems Modeling}, keywords = {dblp}, number = 2, pages = {393-415}, timestamp = {2019-09-27T06:38:22.000+0200}, title = {Language-specific model checking of UML-RT models.}, url = {http://dblp.uni-trier.de/db/journals/sosym/sosym16.html#ZurowskaD17}, volume = 16, year = 2017 }