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 2 months ago
1991
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...
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.
| Id | Read | Views | Title | Status |
|---|---|---|---|---|
| 1 |  | 138 | ||
| 2 | | 115 | ||
| 3 | | 107 | ||
| 4 | | 91 | ||
| 5 | | 89 | ||
| 6 | | 89 |