Concavely−Priced Timed Automata

Slični predmeti

• CONCAVELY−PRICED PROBABILISTIC TIMED AUTOMATA
  od: Jurdzinski, M, i dr.
  Izdano: (2009)
• Concavely−Priced Probabilistic Timed Automata
  od: Kwiatkowska, G, i dr.
  Izdano: (2009)
• Reachability−Time Games on Timed Automata
  od: Jurdzinski, M, i dr.
  Izdano: (2007)
• On Nonlinear Prices in Timed Automata
  od: Devendra Bhave, i dr.
  Izdano: (2016-12-01)
• Stochastic Timed Automata
  od: Nathalie Bertrand, i dr.
  Izdano: (2014-12-01)