%0 Journal Article %1 journals/scp/MoraesAM16 %A Moraes, Alan %A de L. Andrade, Wilkerson %A Machado, Patrícia D. L. %D 2016 %J Sci. Comput. Program. %K dblp %P 52-72 %T A family of test selection criteria for Timed Input-Output Symbolic Transition System models. %U http://dblp.uni-trier.de/db/journals/scp/scp126.html#MoraesAM16 %V 126

@article{journals/scp/MoraesAM16, added-at = {2021-02-17T00:00:00.000+0100}, author = {Moraes, Alan and de L. Andrade, Wilkerson and Machado, Patrícia D. L.}, biburl = {https://www.bibsonomy.org/bibtex/20cc486d80a0fbc2c43a24b4e28b34588/dblp}, ee = {https://doi.org/10.1016/j.scico.2016.05.004}, interhash = {d90feae62020fb2a409b003cb4d1a478}, intrahash = {0cc486d80a0fbc2c43a24b4e28b34588}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {52-72}, timestamp = {2024-04-09T05:29:09.000+0200}, title = {A family of test selection criteria for Timed Input-Output Symbolic Transition System models.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp126.html#MoraesAM16}, volume = 126, year = 2016 }