/A-customizable-interface-for-LTL-Checking

A-customizable-interface-for-LTL-Checking created for the Process Conformance Checking in Python Praktikum

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Stargazers