Modeling and verifying distributed systems using priorities: A case study
Title | Modeling and verifying distributed systems using priorities: A case study |
Publication Type | Journal Articles |
Year of Publication | 1996 |
Authors | Cleaveland R, Natarajan V, Sims S, Luettgen G |
Journal | Software - Concepts and Tools |
Volume | 17 |
Issue | 2 |
Pagination | 50 - 62 |
Date Published | 1996/// |