Verifying liveness properties of multifunction composite protocols
Jun-Cheol ParkVolume:
26
Year:
2003
Language:
english
Pages:
12
DOI:
10.1016/s0140-3664(03)00095-1
File:
PDF, 255 KB
english, 2003