Uppaal in a nutshell

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 1; no. 1-2; pp. 134 - 152
Main Authors:	Larsen, Kim G., Pettersson, Paul, Yi, Wang
Format:	Journal Article
Language:	English
Published:	1997
Subjects:	Computer science Datavetenskap Information technology Informationsteknik TECHNOLOGY TEKNIKVETENSKAP
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
ISSN:	1433-2779 1433-2787
DOI:	10.1007/s100090050010