INRIA/IRISA, Rennes, FVance;
RWTH Aachen University, Software Modeling and Verification Group, Germany;
Aalborg University, Denmark;
INRIA/IRISA, Rennes, FVance;
Aalborg University, Denmark;
RWTH Aachen University, Software Modeling and Verification Group, Germany;
IT University of Copenhagen, Denmark;
机译:口吃抽象概率自动机
机译:抽象概率自动机
机译:双曲平面中概率自动胜于确定性自动的计算优势
机译:抽象概率自动机的分层约简
机译:用于抽象意义代表的多车和DAG自动机
机译:基于广义概率自动机的语义计算形式模型
机译:口吃抽象概率自动机
机译:模糊星函数,概率自动机及其非概率自动机的逼近。