Ten Years of Saturation: A Petri Net Perspective
type: Item
instance of: scholarly article
title: Ten Years of Saturation: A Petri Net Perspective
zbMATH Open document ID: 1350.68199
DOI: 10.1007/978-3-642-29072-5_3
author: Gianfranco Ciardo
author: Xiao-Qing Jin
author: Yang Zhao
published in: Lecture Notes in Computer Science
publication date: 2012-06-08T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6043676
describes a project that uses: NuSMV
describes a project that uses: CADP
MaRDI profile type: Publication
full work available at URL: 978-3-642-29072-5 3
OpenAlex ID: W1626572155
description: scientific article; zbMATH DE number 6043676