Declarative Trace Alignment via Automated Planning
语言：Java · GitHub 星标：9 · Fork：2
话题：automata · automated-planning · business-process-management · ldlf · ltlf · trace-alignment
在 GitHub 上查看原仓库
开源雷达国内 GitHub 镜像站
开源雷达国内 GitHub 镜像站