Kai Hu 0004, Teng Zhang, Yi Ding, Jian Zhu, Jean-Pierre Talpin. Verification of concurrent code from synchronous specifications. Science of Computer Programming, 206:102625, 2021. [doi]
@article{HuZDZT21, title = {Verification of concurrent code from synchronous specifications}, author = {Kai Hu 0004 and Teng Zhang and Yi Ding and Jian Zhu and Jean-Pierre Talpin}, year = {2021}, doi = {10.1016/j.scico.2021.102625}, url = {https://doi.org/10.1016/j.scico.2021.102625}, researchr = {https://researchr.org/publication/HuZDZT21}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {206}, pages = {102625}, }