GitHub repository: uppaal-emf/uppaal-xtext
Primary language: Java
Created: 2022-12-04T13:43:56Z
Description: A parser and serializer based on Xtext for the XML file format used by UPPAAL