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
|
|
|