%0 Journal Article %1 journals/tse/AlrajehKRU13 %A Alrajeh, Dalal %A Kramer, Jeff %A Russo, Alessandra %A Uchitel, Sebastián %D 2013 %J IEEE Trans. Software Eng. %K dblp %N 3 %P 361-383 %T Elaborating Requirements Using Model Checking and Inductive Learning. %U http://dblp.uni-trier.de/db/journals/tse/tse39.html#AlrajehKRU13 %V 39

@article{journals/tse/AlrajehKRU13, added-at = {2022-10-02T00:00:00.000+0200}, author = {Alrajeh, Dalal and Kramer, Jeff and Russo, Alessandra and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/2e5e7dbb86ec90baee9fc0347e998577f/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.41}, interhash = {e3da8fc6815888a7a0c9907897586645}, intrahash = {e5e7dbb86ec90baee9fc0347e998577f}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 3, pages = {361-383}, timestamp = {2024-04-08T21:08:08.000+0200}, title = {Elaborating Requirements Using Model Checking and Inductive Learning.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse39.html#AlrajehKRU13}, volume = 39, year = 2013 }