Using Fairness to Make Abstractions Work.

Dragan Bosnacki Natalia Ioustinova Natalia Sidorova Using Fairness to Make Abstractions Work. 198-215 http://dx.doi.org/10.1007/978-3-540-24732-6_15 2004 conf/spin/2004 SPIN db/conf/spin/spin2004.html#BosnackiIS04