%0 Journal Article %1 journals/tse/ShoushaBL12 %A Shousha, Marwa %A Briand, Lionel C. %A Labiche, Yvan %D 2012 %J IEEE Trans. Software Eng. %K dblp %N 2 %P 354-374 %T A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse38.html#ShoushaBL12 %V 38

@article{journals/tse/ShoushaBL12, added-at = {2018-11-02T00:00:00.000+0100}, author = {Shousha, Marwa and Briand, Lionel C. and Labiche, Yvan}, biburl = {https://www.bibsonomy.org/bibtex/295ce3a689222472e3e660fe12210a97c/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.107}, interhash = {5bdb610b5381decf4819e2e7b8c947e2}, intrahash = {95ce3a689222472e3e660fe12210a97c}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 2, pages = {354-374}, timestamp = {2018-11-03T12:28:35.000+0100}, title = {A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse38.html#ShoushaBL12}, volume = 38, year = 2012 }