Trace-based semantics for probabilistic timed i/o automata. (2007)

by S MITRA, N A LYNCH
Venue:In Proceedings of the 10th International Workshop (HSCC’07),