gitlab.inria.fr / monitoring / sound-concurrent-traces-for-online-monitoring-artifact
Stars: 0
Forks: 0
Open issues:
License: None
Language:
Dependencies parsed at:
5
Created at: over 1 year ago
Updated at: over 1 year ago
Last synced at: 7 months ago
facts/pom.xml
maven
- org.apache.commons:commons-lang3 3.12.0
- org.graphstream:gs-core 2.0
- org.graphstream:gs-ui-swing 2.0
- x.y:y 1.0.1
- junit:junit 4.12 test