×

Found 2 Documents (Results 1–2)

Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21–22, 2015. (English) Zbl 1435.68028

Electronic Proceedings in Theoretical Computer Science (EPTCS) 193. Waterloo: Open Publishing Association (OPA). 185 p., electronic only, open access (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Filter Results by …

Document Type

Year of Publication

Main Field