This artifact contains adapter classes for treating the <tt>Automaton</tt> objects from the <a href="http://www.brics.dk/automaton">BRICS library</a> as AutomataLib models.
'net.automatalib:automata-brics:0.3.1-ase2013-tutorial-r1'
<dependency>
<groupId>net.automatalib</groupId>
<artifactId>automata-brics</artifactId>
<version>0.3.1-ase2013-tutorial-r1</version>
</dependency>
<dependency org="net.automatalib" name="automata-brics" rev="0.3.1-ase2013-tutorial-r1"/>
"net.automatalib", "automata-brics", "0.3.1-ase2013-tutorial-r1"