Home » net.automatalib » automata-api » 0.11.0

AutomataLib :: API » 0.11.0

This artifact contains the API of AutomataLib, which mainly consists of interfaces for the various concepts and automaton models supported by the AutomataLib core. In addition to that, it also defines some fundamental classes for dealing with words of symbols.

LicenseApache 2.0
Tagsautomataapi
DateNov 06, 2023
Filespom (2 KB)  jar (207 KB)  View All
RepositoriesCentralSciJava Public
Ranking#7265 in MvnRepository (See Top Artifacts)
Used By71 artifacts

Note: There is a new version for this artifact

New Version0.12.1

Scope:
Scope:
Format:
Scope:
Scope:
Scope:
Scope:
Scope:
Scope:

Compile Dependencies (6)

Category/License Group / ArtifactVersionUpdates
Core Utils
Apache 2.0		com.google.guava » guava 32.1.3-jre33.5.0-jre
Collections
Apache 2.0		net.automatalib » automata-commons-smartcollections 0.11.00.12.1

Apache 2.0		net.automatalib » automata-commons-util 0.11.00.12.1
Defect Detection
MIT		org.checkerframework » checker-qual 3.7.03.52.0

MIT		org.kohsuke.metainf-services » metainf-services 1.81.11
Testing
Apache 2.0		org.testng » testng 7.5.17.11.0

Licenses

LicenseURL
Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0.txt

Developers

NameEmailDev IdRolesOrganization
Markus Frohmemarkus.frohme<at>udo.edumtf90Developer, MaintainerTU Dortmund University, Chair of Programming Systems
Malte Isbernermalte.isberner<at>gmail.commisbernerDeveloper (inactive), Maintainer (inactive)TU Dortmund University, Chair of Programming Systems

Related Books

Spring Boot 3 API Mastery: Write scalable, reactive, and secure APIs for microservices with Spring Boot 3 and Java 21 (English Edition)Spring Boot 3 API Mastery: Write scalable, reactive, and secure APIs for microservices with Spring Boot 3 and Java 21 (English Edition) (2025)
by Racca, Vincenzo
Modern API Development with Spring 6 and Spring Boot 3: Design scalable, viable, and reactive APIs with REST, gRPC, and GraphQL using Java 17 and Spring Boot 3Modern API Development with Spring 6 and Spring Boot 3: Design scalable, viable, and reactive APIs with REST, gRPC, and GraphQL using Java 17 and Spring Boot 3 (2023)
by Sharma, Sourabh
Mastering API Architecture: Design, Operate, and Evolve API-Based SystemsMastering API Architecture: Design, Operate, and Evolve API-Based Systems (2022)
by Gough, James, Bryant, Daniel, Auburn, Matthew
Hacking APIs: Breaking Web Application Programming InterfacesHacking APIs: Breaking Web Application Programming Interfaces (2022)
by Ball, Corey J.
Designing APIs with Swagger and OpenAPIDesigning APIs with Swagger and OpenAPI (2022)
by Ponelat, Joshua S., Rosenstock, Lukas L.
API Design PatternsAPI Design Patterns (2022)
by JJ Geewax, Sarah Dawe, Manning Publications
Practical API Design: Confessions of a Java Framework ArchitectPractical API Design: Confessions of a Java Framework Architect (2008)
by Tulach, Jaroslav