hide
Title:
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification
Source Genre:
Proceedings
Creator(s):
Montanari, Angelo, Editor
Napoli, Margherita, Editor
Parente, Mimmo, Editor
Affiliations:
-
Publ. Info:
s.l. : EPTCS
Pages:
Online
Volume / Issue:
-
Sequence Number:
-
Start / End Page:
22 - 29
Identifier:
-