Priorities for Modeling and Verifying Distributed Systems.

Rance Cleaveland, Gerald Lttgen, V. Natarajan, Steve Sims

Browse the full TACAS paper archive.