Compositional verification of multi-agent systems in temporal multi-epistemic logic
type: Item
instance of: scholarly article
title: Compositional verification of multi-agent systems in temporal multi-epistemic logic
zbMATH Open document ID: 1002.68094
DOI: 10.1023/A:1017588004618
author: Joeri Engelfriet
author: Catholijn M. Jonker
author: Jan Treur
published in: Journal of Logic, Language and Information
publication date: 2002-08-20T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 1784299
zbMATH Keywords: compositional verification
describes a project that uses: METATEM
MaRDI profile type: Publication
full work available at URL: a:1017588004618
OpenAlex ID: W3023528543
description: scientific article; zbMATH DE number 1784299