Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
Book title Buchtitel
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification
Editor Herausgeber_in
Publisher Herausgeber
Open Publishing Association
DOI
10.4204/EPTCS.390
Series Schriftenreihe
Electronic Proceedings in Theoretical Computer Science
Volume Band
390
Access Type
Subject
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).