Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
1 |
| |||||||
4 |
| |||||||
3 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
2 |
| |||||||
2007 | Precise Thread-Modular Verification In: 14th International Static Analysis Symposium (SAS 2007), ? | Proceedings Article | ||||||
2002 | A Model Checker based on Abstraction Refinement Universität des Saarlandes | Thesis - Masters thesis | ||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
9 |
| |||||||
1 |
| |||||||
1 |
| |||||||
4 |
| |||||||
2 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
1 |
| |||||||
8 |
| |||||||
27 |
| |||||||
1 |
| |||||||
4 |
| |||||||
9 |
| |||||||
1 |
|