'de.learnlib:learnlib-core:0.12.0'
<dependency>
<groupId>de.learnlib</groupId>
<artifactId>learnlib-core</artifactId>
<version>0.12.0</version>
</dependency>
<dependency org="de.learnlib" name="learnlib-core" rev="0.12.0"/>
"de.learnlib", "learnlib-core", "0.12.0"