TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
type: Item
instance of: scholarly article
title: TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
zbMATH Open document ID: 1352.68181
DOI: 10.1007/978-3-642-28756-5_36
author: Lasse Jacobsen
author: Morten Jacobsen
author: Kenneth Yrke Jørgensen
author: Mikael H. Møller
author: Jiří Srba
published in: Tools and Algorithms for the Construction and Analysis of Systems
publication date: 2012-06-29T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 6051108
Wikidata QID: Q60228743
describes a project that uses: Uppaal
describes a project that uses: Romeo
describes a project that uses: TINA
MaRDI profile type: Publication
full work available at URL: 978-3-642-28756-5 36
OpenAlex ID: W160689082
description: scientific article; zbMATH DE number 6051108