%0 Journal Article %1 journals/ijcse/HuCWL21 %A Hu, Mingguang %A Cao, Zining %A Wang, Fujun %A Lu, Weiwei %D 2021 %J Int. J. Comput. Sci. Eng. %K dblp %N 3 %P 312-321 %T Counterexample generation in CPS model checking based on ARSG algorithm. %U http://dblp.uni-trier.de/db/journals/ijcse/ijcse24.html#HuCWL21 %V 24

@article{journals/ijcse/HuCWL21, added-at = {2021-07-02T00:00:00.000+0200}, author = {Hu, Mingguang and Cao, Zining and Wang, Fujun and Lu, Weiwei}, biburl = {https://www.bibsonomy.org/bibtex/20dc52a608cf75984313bacc1d27d6143/dblp}, ee = {https://doi.org/10.1504/IJCSE.2021.115658}, interhash = {92ef288032a95b73ca0c3068b82eeab6}, intrahash = {0dc52a608cf75984313bacc1d27d6143}, journal = {Int. J. Comput. Sci. Eng.}, keywords = {dblp}, number = 3, pages = {312-321}, timestamp = {2024-04-08T10:13:17.000+0200}, title = {Counterexample generation in CPS model checking based on ARSG algorithm.}, url = {http://dblp.uni-trier.de/db/journals/ijcse/ijcse24.html#HuCWL21}, volume = 24, year = 2021 }