GitHub repository: meesyice/A-customizable-interface-for-LTL-Checking
Primary language: Python
Created: 2022-10-18T18:13:09Z
Description: A-customizable-interface-for-LTL-Checking created for the Process Conformance Checking in Python Praktikum