Guided Synthesis of Control Programs using UPPAAL

T. Hune; Kim Guldstrand Larsen; P. Pettersson

Guided Synthesis of Control Programs using UPPAAL

T. Hune, Kim Guldstrand Larsen, P. Pettersson

Department of Computer Science

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Nordic Journal of Computing
Volume	8
Issue number	1
Pages (from-to)	43-64
ISSN	1236-6064
Publication status	Published - 2001

Access to Document

http://www.docs.uu.se/docs/rtmv/papers/hlp-nj01.pdf

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{577fb790809211db8b97000ea68e967b,

title = "Guided Synthesis of Control Programs using UPPAAL",

author = "T. Hune and Larsen, {Kim Guldstrand} and P. Pettersson",

note = "Findes ogs{\aa} p{\aa}: http://www.docs.uu.se/docs/rtmv/papers/hlp-nj01.pdf Findes ogs{\aa} p{\aa}: http://www.docs.uu.se/docs/rtmv/papers/hlp-nj01.pdf",

year = "2001",

language = "English",

volume = "8",

pages = "43--64",

journal = "Nordic Journal of Computing",

issn = "1236-6064",

publisher = "University of Helsinki Department of Computer Science",

number = "1",

}

TY - JOUR

T1 - Guided Synthesis of Control Programs using UPPAAL

AU - Hune, T.

AU - Larsen, Kim Guldstrand

AU - Pettersson, P.

N1 - Findes også på: http://www.docs.uu.se/docs/rtmv/papers/hlp-nj01.pdf Findes også på: http://www.docs.uu.se/docs/rtmv/papers/hlp-nj01.pdf

PY - 2001

Y1 - 2001

M3 - Journal article

SN - 1236-6064

VL - 8

SP - 43

EP - 64

JO - Nordic Journal of Computing

JF - Nordic Journal of Computing

IS - 1

ER -