Guided Synthesis of Control Programs using Uppaal

T. Hune, K.G. Larsen, P. Pettersson

Research output: Contribution to journalArticleAcademic

Original languageUndefined
Pages (from-to)43-64
Number of pages22
JournalNordic journal of computing
Volume8
Issue number1
Publication statusPublished - 2001

Keywords

  • METIS-204802

Cite this

Hune, T., Larsen, K. G., & Pettersson, P. (2001). Guided Synthesis of Control Programs using Uppaal. Nordic journal of computing, 8(1), 43-64.
Hune, T. ; Larsen, K.G. ; Pettersson, P. / Guided Synthesis of Control Programs using Uppaal. In: Nordic journal of computing. 2001 ; Vol. 8, No. 1. pp. 43-64.
@article{623ba3e9ed5e452cb8b0d3c2c5768b15,
title = "Guided Synthesis of Control Programs using Uppaal",
keywords = "METIS-204802",
author = "T. Hune and K.G. Larsen and P. Pettersson",
year = "2001",
language = "Undefined",
volume = "8",
pages = "43--64",
journal = "Nordic journal of computing",
issn = "1236-6064",
publisher = "University of Helsinki",
number = "1",

}

Hune, T, Larsen, KG & Pettersson, P 2001, 'Guided Synthesis of Control Programs using Uppaal' Nordic journal of computing, vol. 8, no. 1, pp. 43-64.

Guided Synthesis of Control Programs using Uppaal. / Hune, T.; Larsen, K.G.; Pettersson, P.

In: Nordic journal of computing, Vol. 8, No. 1, 2001, p. 43-64.

Research output: Contribution to journalArticleAcademic

TY - JOUR

T1 - Guided Synthesis of Control Programs using Uppaal

AU - Hune, T.

AU - Larsen, K.G.

AU - Pettersson, P.

PY - 2001

Y1 - 2001

KW - METIS-204802

M3 - Article

VL - 8

SP - 43

EP - 64

JO - Nordic journal of computing

JF - Nordic journal of computing

SN - 1236-6064

IS - 1

ER -

Hune T, Larsen KG, Pettersson P. Guided Synthesis of Control Programs using Uppaal. Nordic journal of computing. 2001;8(1):43-64.