%0 Journal Article %1 journals/itiis/LiuCLY17 %A Liu, Liping %A Ci, Linlin %A Liu, Wei %A Yang, Hui %D 2017 %J TIIS %K %N 1 %P 396-413 %T Control Flow Checking at Virtual Edges. %U http://dblp.uni-trier.de/db/journals/itiis/itiis11.html#LiuCLY17 %V 11

@article{journals/itiis/LiuCLY17, added-at = {2023-12-14T15:23:49.000+0100}, author = {Liu, Liping and Ci, Linlin and Liu, Wei and Yang, Hui}, biburl = {https://www.bibsonomy.org/bibtex/253d0a79c0c19a5622f82441efca4fd1e/admin}, ee = {https://doi.org/10.3837/tiis.2017.01.021}, interhash = {ea9f5187aa69211cb28eb0a1458edbf1}, intrahash = {53d0a79c0c19a5622f82441efca4fd1e}, journal = {TIIS}, keywords = {}, number = 1, pages = {396-413}, timestamp = {2023-12-14T15:23:49.000+0100}, title = {Control Flow Checking at Virtual Edges.}, url = {http://dblp.uni-trier.de/db/journals/itiis/itiis11.html#LiuCLY17}, volume = 11, year = 2017 }