Formal Analysis of Waiting Times for Distributed Real-time Processes.

Horst F. Wedde, Bogdan Korel, Dorota M. Huizinga

Browse the full ICDCS paper archive.