|
[HGB+10]
Ru He, Paul Jennings, Samik Basu, Arka Ghosh and Huaiqing Wu.
A bounded statistical approach for model checking of unbounded until properties.
In 25th IEEE/ACM International Conference on Automated Software Engineering (ASE'10), pages 225-234.
2010.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|