Modeling and Verifying Concurrent Programs with Finite Chu Spaces

Verfasser / Beitragende:
[Xu-Tao Du, Chun-Xiao Xing, Li-Zhu Zhou]
Ort, Verlag, Jahr:
2010
Enthalten in:
Journal of Computer Science and Technology, 25/6(2010-11-01), 1168-1183
Format:
Artikel (online)
ID: 445152192