Skip to content

GitLab

Explore

Sign in
Register

Lars Schieffer
JANI2PINS

J

JANI2PINS

Project information

The JANI front-end module for the LTSmin toolset

61 Commits
1 Branch
0 Tags

README
LICENSE

Created on

June 29, 2020

Copy SSH clone URLssh://git@dgit.cs.uni-saarland.de:2222/s8lsschi/jani2pins.git
Copy HTTPS clone URLhttps://dgit.cs.uni-saarland.de/s8lsschi/jani2pins.git