4.0.0 net.automatalib automata-util jar AutomataLib :: Utilities net.automatalib automata-parent 0.3.1-ase2013-tutorial ../pom.xml ${project.groupId} automata-commons-util ${project.groupId} automata-commons-smartcollections ${project.groupId} automata-api ${project.groupId} automata-core