| DaftarIsitemplate |
| Call Number |
| 004.33 Jos f |
| Title |
| Using cylindrical algebraic decomposition for the analysis of slope parametric hybrid automata, (LNCS-Lecture Notes in Computer Science 1926) Hal 252-263 |
| Author |
| Michael Adlaide; Olivier Roux; |
| Publisher |
| Springer, 2000 |
| Subject |
| Location |