Login / Signup

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

Guillaume P. BratVijay K. Garg
Published in: RTSS (1998)
Keyphrases