Analyzing Non-Deterministic Real-Time Systems with (max, +) Algebra.

Guillaume P. Brat, Vijay K. Garg

Browse the full RTSS paper archive.