Priorities for modeling and verifying distributed systems
| Title | Priorities for modeling and verifying distributed systems |
| Publication Type | Journal Articles |
| Year of Publication | 1996 |
| Authors | Cleaveland R, L\üttgen G, Natarajan V, Sims S |
| Journal | Tools and Algorithms for the Construction and Analysis of Systems |
| Pagination | 278 - 297 |
| Date Published | 1996/// |