B.: Verifying programs with unreliable channels (1996)

by P A Abdulla, Jonsson
Venue:Inf. Comput