Modeling and Verifying Concurrent Programs with Finite Chu Spaces
Gespeichert in:
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)
Online Zugang: