CONCUR 1999 Seminar on Concurrency
 |  |
Wall of Fame | Most Viewed CONCUR-1999 Paper
CONCUR
1999
Springer
14 years 4 months ago
1999
Springer
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
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 |  | 164 | ||
| 2 | | 147 | ||
| 3 | | 121 | ||
| 4 | | 115 | ||
| 5 | | 110 | ||
| 6 | | 109 | ||
| 7 | | 109 | ||
| 8 | | 85 | ||
| 9 | | 85 | ||
| 10 | | 80 | ||
| 11 | | 80 | ||
| 12 | | 78 | ||
| 13 | | 71 |