%0 Journal Article %1 journals/cai/JiaL23 %A Jia, Xiangyu %A Li, Shuo %D 2023 %J Comput. Informatics %K dblp %N 4 %P 781-804 %T Parameterized Reachability Graph for Software Model Checking Based on PDNet. %U http://dblp.uni-trier.de/db/journals/cai/cai42.html#JiaL23 %V 42

@article{journals/cai/JiaL23, added-at = {2024-01-01T00:00:00.000+0100}, author = {Jia, Xiangyu and Li, Shuo}, biburl = {https://www.bibsonomy.org/bibtex/25f83bd6c793b9a393cd5eb415018596e/dblp}, ee = {https://doi.org/10.31577/cai_2023_4_781}, interhash = {f633e2f40ab30c226c5c718297c970b6}, intrahash = {5f83bd6c793b9a393cd5eb415018596e}, journal = {Comput. Informatics}, keywords = {dblp}, number = 4, pages = {781-804}, timestamp = {2024-04-08T12:10:59.000+0200}, title = {Parameterized Reachability Graph for Software Model Checking Based on PDNet.}, url = {http://dblp.uni-trier.de/db/journals/cai/cai42.html#JiaL23}, volume = 42, year = 2023 }