Technische Universitaet Dresden, Germany;
INRTA Rennes Bretagne Atlantique, France;
LSV, CNRS ENS Cachan, France;
Universite de Mons, Belgium;
机译:事件时钟自动机:定时自动机的可确定类
机译:明确寄存器自动机和明确定时自动机的遏制问题
机译:SetExp:将定时自动机转换为有限状态自动机的方法
机译:定时自动机何时可确定?
机译:使用定时扩展有限状态机和扩展定时自动机对定时故障进行建模。
机译:心律对心房组织结构重塑的认识:定时自动机方法
机译:事件时钟自动机:一类可确定的定时自动机
机译:可确定的一类定时自动机