UML activity diagram to temporal logic expression generator.
Primary LanguageJava
No issues in this repository yet.