%0 Journal Article %1 journals/tse/AndradeM13 %A de L. Andrade, Wilkerson %A Machado, Patrícia D. L. %D 2013 %J IEEE Trans. Software Eng. %K dblp %N 9 %P 1216-1229 %T Generating Test Cases for Real-Time Systems Based on Symbolic Models. %U http://dblp.uni-trier.de/db/journals/tse/tse39.html#AndradeM13 %V 39

@article{journals/tse/AndradeM13, added-at = {2020-10-26T00:00:00.000+0100}, author = {de L. Andrade, Wilkerson and Machado, Patrícia D. L.}, biburl = {https://www.bibsonomy.org/bibtex/2758b7ca69b93ccb6794dc5767b69eb4d/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2013.13}, interhash = {3f5a535c398de1d52b0d111c62f2922f}, intrahash = {758b7ca69b93ccb6794dc5767b69eb4d}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 9, pages = {1216-1229}, timestamp = {2020-10-27T12:29:23.000+0100}, title = {Generating Test Cases for Real-Time Systems Based on Symbolic Models.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse39.html#AndradeM13}, volume = 39, year = 2013 }