Games, automata, logics, and formal verification (GandALF 2013)
type: Item
instance of: scholarly article
title: Games, automata, logics, and formal verification (GandALF 2013)
zbMATH Open document ID: 1329.00223
published in: Information and Computation
publication date: 2015-12-07T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 91-06
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 6516961
MaRDI profile type: Publication
full work available at URL: j.ic.2015.06.002
OpenAlex ID: W2231911457
DOI: 10.1016/J.IC.2015.06.002
description: scientific article; zbMATH DE number 6516961