|
| REDLOG | EXAMPLES | DOCUMENTATION | DOWNLOADS | REFERENCES | REMIS | · | REDUCE |
| Author | Anai, Hirokazu and Weispfenning, Volker |
| Title | Reach set computations using real quantifier elimination |
| Series | Lecture Notes in Computer Science |
| Volume | 2034 |
| Booktitle | Hybrid Systems, Computation and Control (HSCC 2001) |
| Publisher | Springer |
| Year | 2001 |
| Pubtype | InCollection |
| Fileid | AnaiWeispfenning_01 |
| Name | Anai, Weispfenning |
| Nodoi | http://www.springerlink.com/content/14g2k8gyjwqy65j8/ |
| Status | redlog application |
| Xtitle | Reach set computations using real quantifier elimination |
| A.D. | T.S. | www@redlog.eu | Validate |