priced timed automata

英 美
  • 价格时间自动机
  • automata n.自动机器;自动装置;机械地动作的人名词automaton的复数形式.
  • priced adj.定价的动词price的过去式和过去分词形式.
  • timed adj.定时的;时控的动词time的过去式和过去分词形式.