Complete Test Suites for Automata in Monoidal Closed Categories

Thumbnail Image

Files

Primary 319705.pdf (473.64 KB)

Date

2025

Authors

Kocsis, B. Bálint
Rot, J.C. Jurriaan

Journal Title

Journal ISSN

Volume Title

Publisher

Cham : Springer Nature Switzerland

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/319705

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By