Uppaal in a nutshell
type: Item
instance of: scholarly article
title: Uppaal in a nutshell
zbMATH Open document ID: 1060.68577
author: Paul Pettersson
author: Wang Yi
author: Kim G. Larsen
published in: International Journal on Software Tools for Technology Transfer. STTT
publication date: 1997-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 1862299
zbMATH Keywords: modeling real-time systems
zbMATH Keywords: dynamic modeling
zbMATH Keywords: modeling tools
zbMATH Keywords: UPPAAL
MaRDI profile type: Publication
full work available at URL: s100090050010
OpenAlex ID: W2000947342
DOI: 10.1007/S100090050010
description: scientific article; zbMATH DE number 1862299