%0 Journal Article %1 journals/mam/LeeC03 %A Lee, Nam Hee %A Cha, Sung Deok %D 2003 %J Microprocess. Microsystems %K dblp %N 10 %P 523-531 %T Generating test sequences using symbolic execution for event-driven real-time systems. %U http://dblp.uni-trier.de/db/journals/mam/mam27.html#LeeC03 %V 27

@article{journals/mam/LeeC03, added-at = {2020-05-18T00:00:00.000+0200}, author = {Lee, Nam Hee and Cha, Sung Deok}, biburl = {https://www.bibsonomy.org/bibtex/2791a788bff687e040ba59d17e97b3e8a/dblp}, ee = {https://doi.org/10.1016/S0141-9331(03)00102-9}, interhash = {f61b36d3a9a3b83f5142c2e0ea6eb569}, intrahash = {791a788bff687e040ba59d17e97b3e8a}, journal = {Microprocess. Microsystems}, keywords = {dblp}, number = 10, pages = {523-531}, timestamp = {2020-05-19T11:55:56.000+0200}, title = {Generating test sequences using symbolic execution for event-driven real-time systems.}, url = {http://dblp.uni-trier.de/db/journals/mam/mam27.html#LeeC03}, volume = 27, year = 2003 }