MVN

net.automatalib : automata-modelchecking-parent

Maven & Gradle

Oct 11, 2020

1 usages

AutomataLib :: Model Checking · AutomataLib model checking libraries.

<!-- https://mavenlibs.com/maven/pom/net.automatalib/automata-modelchecking-parent --><dependency>
    <groupId>net.automatalib</groupId>
    <artifactId>automata-modelchecking-parent</artifactId>
    <version>0.10.0</version>
</dependency>

// https://mavenlibs.com/maven/pom/net.automatalib/automata-modelchecking-parentimplementation group: 'net.automatalib', name: 'automata-modelchecking-parent', version: '0.10.0'

// https://mavenlibs.com/maven/pom/net.automatalib/automata-modelchecking-parentimplementation 'net.automatalib:automata-modelchecking-parent:0.10.0'

// https://mavenlibs.com/maven/pom/net.automatalib/automata-modelchecking-parentimplementation("net.automatalib:automata-modelchecking-parent:0.10.0")

// https://mavenlibs.com/maven/pom/net.automatalib/automata-modelchecking-parentlibraryDependencies += "net.automatalib" % "automata-modelchecking-parent" % "0.10.0"

<!-- https://mavenlibs.com/maven/pom/net.automatalib/automata-modelchecking-parent --><dependency org="net.automatalib" name="automata-modelchecking-parent" rev="0.10.0"/>

// https://mavenlibs.com/maven/pom/net.automatalib/automata-modelchecking-parent@Grapes(
    @Grab(group='net.automatalib', module='automata-modelchecking-parent', version='0.10.0')
)

;; https://mavenlibs.com/maven/pom/net.automatalib/automata-modelchecking-parent[net.automatalib/automata-modelchecking-parent "0.10.0"]

# https://mavenlibs.com/maven/pom/net.automatalib/automata-modelchecking-parent'net.automatalib:automata-modelchecking-parent:jar:0.10.0'

Copy

pom.xml

Include comment with link to declaration

Table Of Contents

Latest Version
All Versions
How to add a POM dependency to Maven

Latest Version

Choose a version of net.automatalib : automata-modelchecking-parent to add to Maven - Latest Versions:

Latest Stable: 0.10.0

All Versions

Choose a version of net.automatalib : automata-modelchecking-parent to add to Maven - All Versions:

Version	Vulnerabilities
0.10.x	automata-modelchecking-parent-0.10.0	Oct 11, 2020
0.9.x	automata-modelchecking-parent-0.9.0	Feb 05, 2020
0.8.x	automata-modelchecking-parent-0.8.0	Feb 18, 2019

Version

Vulnerabilities

Updated

0.10.x

automata-modelchecking-parent-0.10.0

Oct 11, 2020

0.9.x

automata-modelchecking-parent-0.9.0

Feb 05, 2020

0.8.x

automata-modelchecking-parent-0.8.0

Feb 18, 2019

How to add a POM dependency to Maven

POM as dependency in dependencyManagement

<dependency>
    <groupId>net.automatalib</groupId>
    <artifactId>automata-modelchecking-parent</artifactId>
    <version>0.10.0</version>
</dependency>