CS, Universite Libre de Bruxelles, Belgium;
机译:基于自动机的模型检查方法的反链
机译:用于改进检查的校正和高效的AntiChain算法
机译:检查下推自动机和有限状态自动机之间语义对等的通用框架
机译:AntiChains:一种用于检查有限自动机普遍性的新算法
机译:算法代数模型检查:混合自动机和系统生物学。
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:antichains:一种检验有限自动机普遍性的新算法