Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Author/Editor | Year | Title | Type | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
Podelski, Andreas Wagner, Silke | 2007 | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | Report | |||||
Rybalchenko, Andrey | 2002 | A Model Checker based on Abstraction Refinement Universität des Saarlandes | Thesis - Master's thesis | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|