Faculte des Hautes Etudes Commerciales, Institut des Systemes d'information, Universite de Lausanne, 1015 Lausanne, Switzerland;
rnFaculte des Hautes Etudes Commerciales, Institut des Systemes d'information, Universite de Lausanne, 1015 Lausanne, Switzerland Laboratoire Bordelais de Recherche en Informatique, Universite Bordeaux 1, 351 cours de la Liberation, 33405 Talence cedex, France;
机译:二维交替图灵机的空间层次,推送自动和计数器自动
机译:双向交替自动机的补充
机译:交替两路AC树自动机
机译:在双向交替自动机的分层问题上俏皮瞥一眼
机译:基于交替自动机的验证算法。
机译:基于扩展层次有限状态自动机的服务一致性演化动态定量分析方法
机译:双向交替自动机的分层问题的趣味一览