Automatic verification of concurrent systems using a formula-based compositional approach
type: Item
instance of: scholarly article
title: Automatic verification of concurrent systems using a formula-based compositional approach
zbMATH Open document ID: 1035.68072
author: Antonella Santone
published in: Acta Informatica
publication date: 2003-09-01T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1973098
zbMATH Keywords: transition systems
describes a project that uses: LOTOS
describes a project that uses: MOCHA
MaRDI profile type: Publication
full work available at URL: s00236-002-0084-5
OpenAlex ID: W2089892886
DOI: 10.1007/S00236-002-0084-5
description: scientific article; zbMATH DE number 1973098