Maven Coordinates

<dependency>
  <groupId>net.automatalib</groupId>
  <artifactId>automata-serialization-mata</artifactId>
  <version>13.0.0</version>
</dependency>

<dependency org="net.automatalib" name="automata-serialization-mata" rev="13.0.0">
  <artifact name="automata-serialization-mata" type="jar" />
</dependency>

@Grapes(
@Grab(group='net.automatalib', module='automata-serialization-mata', version='13.0.0')
)

implementation 'net.automatalib:automata-serialization-mata:13.0.0'

libraryDependencies += "net.automatalib" % "automata-serialization-mata" % "13.0.0"

[net.automatalib/automata-serialization-mata "13.0.0"]