Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
1993 | Journal Article | IST-REx-ID: 4589 | 
Alur R, Henzinger TA. Real-time logics: Complexity and expressiveness. Information and Computation. 1993;104(1):35-77. doi:10.1006/inco.1993.1025
[Published Version]
View
| DOI
| Download Published Version (ext.)
1988 | Journal Article | IST-REx-ID: 4090 |
Edelsbrunner H, Preparata F. Minimum polygonal separation. Information and Computation. 1988;77(3):218-232. doi:10.1016/0890-5401(88)90049-1
View
| DOI
| Download None (ext.)