![](/img/cover-not-exists.png)
[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - A bounded statistical approach for model checking of unbounded until properties
He, Ru, Jennings, Paul, Basu, Samik, Ghosh, Arka P., Wu, HuaiqingYear:
2010
Language:
english
DOI:
10.1145/1858996.1859043
File:
PDF, 597 KB
english, 2010