FORTE 1994 Formal Techniques for Networked and Distributed Systems
 |  |
Wall of Fame | Most Viewed FORTE-1994 Paper
FORTE
1994
14 years 2 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
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 |  | 132 | ||
| 2 | | 112 | ||
| 3 | | 103 | ||
| 4 | | 98 | ||
| 5 | | 94 |