%0 Journal Article %1 journals/tse/SibayBUK13 %A Sibay, German E. %A Braberman, Víctor A. %A Uchitel, Sebastián %A Kramer, Jeff %D 2013 %J IEEE Trans. Software Eng. %K %N 7 %P 975-1001 %T Synthesizing Modal Transition Systems from Triggered Scenarios. %U http://dblp.uni-trier.de/db/journals/tse/tse39.html#SibayBUK13 %V 39

@article{journals/tse/SibayBUK13, added-at = {2023-12-12T21:32:55.000+0100}, author = {Sibay, German E. and Braberman, Víctor A. and Uchitel, Sebastián and Kramer, Jeff}, biburl = {https://www.bibsonomy.org/bibtex/22cd16c9516cbf46910427ed93b41a9a0/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.62}, interhash = {3fd566e7ca39cc07bb0b87f84ab53b19}, intrahash = {2cd16c9516cbf46910427ed93b41a9a0}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 7, pages = {975-1001}, timestamp = {2023-12-12T21:32:55.000+0100}, title = {Synthesizing Modal Transition Systems from Triggered Scenarios.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse39.html#SibayBUK13}, volume = 39, year = 2013 }