scientific article; zbMATH DE number 1956584

zbMath1031.68030MaRDI QIDQ4417926

Oded Maler, Eugene Asarin, Yasmina Abdeddaïm

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2619/26190240.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (2)

Scheduling with timed automata ⋮ Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes

This page was built for publication: