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/// |