%0 Journal Article %1 journals/tecs/LePFL16 %A Le, Thi Thieu Hoa %A Passerone, Roberto %A Fahrenberg, Uli %A Legay, Axel %D 2016 %J ACM Trans. Embedded Comput. Syst. %K dblp %N 2 %P 33:1-33:26 %T Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. %U http://dblp.uni-trier.de/db/journals/tecs/tecs15.html#LePFL16 %V 15

@article{journals/tecs/LePFL16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Le, Thi Thieu Hoa and Passerone, Roberto and Fahrenberg, Uli and Legay, Axel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e92a3a874a0dba256dafd31844c7e781/dblp}, ee = {https://doi.org/10.1145/2885752}, interhash = {019c8b692c2ea912156e07d556e3ff62}, intrahash = {e92a3a874a0dba256dafd31844c7e781}, journal = {ACM Trans. Embedded Comput. Syst.}, keywords = {dblp}, number = 2, pages = {33:1-33:26}, timestamp = {2019-09-27T08:46:37.000+0200}, title = {Contract-Based Requirement Modularization via Synthesis of Correct Decompositions.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs15.html#LePFL16}, volume = 15, year = 2016 }