原名:Deciding Unambiguity and Sequentiality from a Finitely Ambiguous Max-Plus Automaton
作品简介:文献中的一些名字:距离自动机、财务自动机、成本自动机。他们还有 *LIAFA、CNRS (umr 7089) – Université Paris 7, 2, place Jussieu – 75251 Paris Cedex 5 -。法国。电子邮件:顺序,然后可以计算 DES 的最佳行为以及平均行为,请参阅……

资源下载
VIP免费升级VIP
显示验证码

社交账号快速登录