A safety simulation analysis algorithm for Altarica language

Wenru Wang, Xiaohua Shi, Xinghai Lu. A safety simulation analysis algorithm for Altarica language. Concurrency - Practice and Experience, 33(7):1, 2021. [doi]

Authors

Wenru Wang

This author has not been identified. Look up 'Wenru Wang' in Google

Xiaohua Shi

This author has not been identified. Look up 'Xiaohua Shi' in Google

Xinghai Lu

This author has not been identified. Look up 'Xinghai Lu' in Google