Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

From MaRDI portal

Revision as of 05:57, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6076872

Jump to:navigation, search

DOI10.4204/eptcs.370zbMath1522.68028arXiv2209.09333OpenAlexW4296345186MaRDI QIDQ6076872

No author found.

Publication date: 22 September 2023

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2209.09333

Mathematics Subject Classification ID

Applications of game theory (91A80) Proceedings of conferences of miscellaneous specific interest (00B25) Formal languages and automata (68Q45) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6076872&oldid=35511346"