Sciweavers

REX   1991 Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems)
Wall of Fame | Most Viewed REX-1991 Paper
REX
1991
14 years 1 months ago
Logics and Models of Real Time: A Survey
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
Rajeev Alur, Thomas A. Henzinger
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source138
2Download preprint from source115
3Download preprint from source107
4Download preprint from source91
5Download preprint from source89
6Download preprint from source89