Inproceedings,

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

, and .
RTSS, page 210-219. IEEE Computer Society, (1998)

Meta data

Tags

Users

  • @dblp

Comments and Reviews