[SLDP09]
Jun Sun and Yang Liu and Jin Song Dong and Jun Pang.
PAT: Towards Flexible Verification under Fairness.
In Proc. 21st International Conference on Computer Aided Verification (CAV'09), volume 5643 of LNCS, pages 709-714, Springer.
2009.
[bib]
|
Notes:
The original publication is available at link.springer.com.
|