%0 Journal Article %1 journals/tse/UchitelBC09 %A Uchitel, Sebastián %A Brunet, Greg %A Chechik, Marsha %D 2009 %J IEEE Trans. Software Eng. %K %N 3 %P 384-406 %T Synthesis of Partial Behavior Models from Properties and Scenarios. %U http://dblp.uni-trier.de/db/journals/tse/tse35.html#UchitelBC09 %V 35

@article{journals/tse/UchitelBC09, added-at = {2023-12-13T06:04:08.000+0100}, author = {Uchitel, Sebastián and Brunet, Greg and Chechik, Marsha}, biburl = {https://www.bibsonomy.org/bibtex/2d8b5269bc3d73cd996e60015c19d2bf0/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2008.107}, interhash = {a9fd41f828d143c78bbaca51617ecc97}, intrahash = {d8b5269bc3d73cd996e60015c19d2bf0}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 3, pages = {384-406}, timestamp = {2023-12-13T06:04:08.000+0100}, title = {Synthesis of Partial Behavior Models from Properties and Scenarios.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse35.html#UchitelBC09}, volume = 35, year = 2009 }