Edit search
Probably on Time and within Budget%253A On Reachability in P…
Probably on Time and within Budget%253A On Reachability in Priced Probabilistic Timed Automata
Probably on Time and within Budget%253A On Reachability in Priced Probabilistic Timed Automata
Article, Chapter
Authors: J.K. Berendsen
Publication: Page(s):311-322
Published: 2006
Browse related articles
  Request a copy of this item
Cite this item