On-the- analysis of systems with unbounded, lossy channels (1998)

by P A Abdulla, A Bouajjani, B Jonsson
Venue:In Proc. Computer Aided Veri