Modeling and verifying distributed systems using priorities: A case study

TitleModeling and verifying distributed systems using priorities: A case study
Publication TypeJournal Articles
Year of Publication1996
AuthorsCleaveland R, Natarajan V, Sims S, Luettgen G
JournalSoftware - Concepts and Tools
Volume17
Issue2
Pagination50 - 62
Date Published1996///