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.
71 Publications
1996 | Conference (Editor) | IST-REx-ID: 4585
Henzinger TA, Alur R eds. 1996. 8th International Conference on Computer Aided Verification, Springer,p.
View
| DOI
| Download None (ext.)
1996 | Conference Paper | IST-REx-ID: 4588
Alur R, Henzinger TA. 1996. Reactive modules. Proceedings 11th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 207–218.
View
| DOI
| Download None (ext.)
1996 | Journal Article | IST-REx-ID: 4611 |
Alur R, Henzinger TA, Ho P. 1996. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering. 22(3), 181–201.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1996 | Journal Article | IST-REx-ID: 4610
Alur R, Feder T, Henzinger TA. 1996. The benefits of relaxing punctuality. Journal of the ACM. 43(1), 116–146.
View
| DOI
| Download None (ext.)