%0 Journal Article %1 journals/fcsc/KarnaCYZZ18 %A Karna, Anil Kumar %A Chen, Yuting %A Yu, Haibo %A Zhong, Hao %A Zhao, Jianjun %D 2018 %J Frontiers Comput. Sci. %K dblp %N 4 %P 642-668 %T The role of model checking in software engineering. %U http://dblp.uni-trier.de/db/journals/fcsc/fcsc12.html#KarnaCYZZ18 %V 12

@article{journals/fcsc/KarnaCYZZ18, added-at = {2023-05-24T00:00:00.000+0200}, author = {Karna, Anil Kumar and Chen, Yuting and Yu, Haibo and Zhong, Hao and Zhao, Jianjun}, biburl = {https://www.bibsonomy.org/bibtex/29846333de84ac3a754e30464f4881117/dblp}, ee = {https://doi.org/10.1007/s11704-016-6192-0}, interhash = {8fab0b9bc71c7ac977b4b7f116ba8ba9}, intrahash = {9846333de84ac3a754e30464f4881117}, journal = {Frontiers Comput. Sci.}, keywords = {dblp}, number = 4, pages = {642-668}, timestamp = {2024-04-09T05:10:40.000+0200}, title = {The role of model checking in software engineering.}, url = {http://dblp.uni-trier.de/db/journals/fcsc/fcsc12.html#KarnaCYZZ18}, volume = 12, year = 2018 }