![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Helmut Seidl, Andrea Flexeder, Michael Petter: Analysing All Polynomial Equations in . SAS 2008: 299-314 |
2007 | ||
1 | EE | Helmut Seidl, Andrea Flexeder, Michael Petter: Interprocedurally Analysing Linear Inequality Relations. ESOP 2007: 284-299 |
1 | Michael Petter | [1] [2] |
2 | Helmut Seidl | [1] [2] |