Symbolic Analysis Tools for CSP
type: Item
instance of: scholarly article
title: Symbolic Analysis Tools for CSP
zbMATH Open document ID: 1432.68311
DOI: 10.1007/978-3-319-10882-7_18
author: Liyi Li
author: Elsa Gunter
author: William Mansky
published in: Theoretical Aspects of Computing – ICTAC 2014
publication date: 2015-01-13T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 6385977
describes a project that uses: OCaml
describes a project that uses: FDR3
describes a project that uses: ProBE
describes a project that uses: Maude
describes a project that uses: mCRL2
describes a project that uses: FDR2
MaRDI profile type: MaRDI publication profile
full work available at URL: 978-3-319-10882-7 18
OpenAlex ID: W97582271
description: scientific article; zbMATH DE number 6385977