Checking geometric programs or verification of geometric structures
| Type of publication: | Article |
| Citation: | mehlhorn_naeher_seel_seidel_schilz_schirra_uhrig_99_checking |
| Journal: | Computational Geometry: Theory and Applications |
| Volume: | 12 |
| Number: | 1-2 |
| Year: | 1999 |
| Pages: | 85-103 |
| Publisher: | Elsevier Science Publishers B. V. |
| Address: | Amsterdam, The Netherlands, The Netherlands |
| ISSN: | 0925-7721 |
| DOI: | 10.1016/s0925-7721(98)00036-4 |
| Userfields: | bdsk-url-1={http://dx.doi.org/10.1016/S0925-7721(98)00036-4}, date-added={2012-09-03 15:47:30 +0200}, date-modified={2012-09-03 15:47:30 +0200}, owner={jow}, project={fremdliteratur}, timestamp={2008.05.22}, |
| Keywords: | |
| Authors | |
|
Attachments
|
|
|
Notes
|
|
|
|
|
|
Topics
|
|
|
|
|