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 | 
Real-time logics: Complexity and expressiveness
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Alur, T.A. Henzinger, Information and Computation 104 (1993) 35–77.
1988 | Journal Article | IST-REx-ID: 4090 |
Minimum polygonal separation
H. Edelsbrunner, F. Preparata, Information and Computation 77 (1988) 218–232.
View
| DOI
| Download None (ext.)
H. Edelsbrunner, F. Preparata, Information and Computation 77 (1988) 218–232.