• Citer

Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020)

par Raskin, Jean-François ;Bresolin, Davide
Référence Information and computation, 104980
Publication Publié, 2022-06-01

Article révisé par les pairs

• Accès en ligne
• Détails
• Statistiques

Titre:	Special issue: Selected papers of the 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020)
Auteur:	Raskin, Jean-François; Bresolin, Davide
Informations sur la publication:	Information and computation, 104980
Statut de publication:	Publié, 2022-06-01
Sujet CREF:	Informatique mathématique
	Informatique générale
	Informatique appliquée logiciel
Note générale:	SCOPUS: ed.j
Langue:	Anglais
Identificateurs:	urn:issn:0890-5401
	info:doi/10.1016/j.ic.2022.104980
	info:pii/S0890540122001353
	info:scp/85141796792