4.0.0 net.automatalib automata-incremental jar AutomataLib :: Misc :: Incremental net.automatalib automata-misc-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 org.testng testng test ${project.groupId} automata-util test