%0 Journal Article %1 journals/tse/CarnevaliRV13 %A Carnevali, Laura %A Ridi, Lorenzo %A Vicario, Enrico %D 2013 %J IEEE Trans. Software Eng. %K dblp %N 3 %P 292-304 %T A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems. %U http://dblp.uni-trier.de/db/journals/tse/tse39.html#CarnevaliRV13 %V 39

@article{journals/tse/CarnevaliRV13, added-at = {2015-12-10T00:00:00.000+0100}, author = {Carnevali, Laura and Ridi, Lorenzo and Vicario, Enrico}, biburl = {https://www.bibsonomy.org/bibtex/214799d28372ee6b1cb4afad17bf94ba8/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2012.42}, interhash = {66e6a1570263ccbe524aab0f73f0d844}, intrahash = {14799d28372ee6b1cb4afad17bf94ba8}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 3, pages = {292-304}, timestamp = {2015-12-12T11:55:00.000+0100}, title = {A Quantitative Approach to Input Generation in Real-Time Testing of Stochastic Systems.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse39.html#CarnevaliRV13}, volume = 39, year = 2013 }