Model checking embedded and real time systems

Kim Guldstrand Larsen

Model checking embedded and real time systems

Kim Guldstrand Larsen

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

Original language	English
Title of host publication	WODES'08 : Proceedings of the 9th International Workshop on Discrete Event Systems
Editors	B. Lennartson, M. Fabian, K. Akesson, A. Giua, R. Kumar
Publisher	IEEE (Institute of Electrical and Electronics Engineers)
Publication date	2008
Pages	260
ISBN (Print)	978-1-4244-2592-1
Publication status	Published - 2008
Event	International Workshop on Discrete Event Systems - Göteborg, Sweden Duration: 28 May 2008 → 30 May 2008 Conference number: 9

Conference

Conference	International Workshop on Discrete Event Systems
Number	9
Country/Territory	Sweden
City	Göteborg
Period	28/05/2008 → 30/05/2008

AUB Link

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

Cite this

@inproceedings{4f116080027d11de82e6000ea68e967b,

title = "Model checking embedded and real time systems",

author = "Larsen, \{Kim Guldstrand\}",

year = "2008",

language = "English",

isbn = "978-1-4244-2592-1",

pages = "260",

editor = "B. Lennartson and M. Fabian and K. Akesson and A. Giua and R. Kumar",

booktitle = "WODES'08",

publisher = "IEEE (Institute of Electrical and Electronics Engineers)",

address = "United States",

note = "International Workshop on Discrete Event Systems ; Conference date: 28-05-2008 Through 30-05-2008",

}

Model checking embedded and real time systems. / Larsen, Kim Guldstrand.
WODES'08: Proceedings of the 9th International Workshop on Discrete Event Systems. ed. / B. Lennartson; M. Fabian; K. Akesson; A. Giua; R. Kumar. IEEE (Institute of Electrical and Electronics Engineers), 2008. p. 260.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Model checking embedded and real time systems

AU - Larsen, Kim Guldstrand

N1 - Conference code: 9

PY - 2008

Y1 - 2008

M3 - Article in proceeding

SN - 978-1-4244-2592-1

SP - 260

BT - WODES'08

A2 - Lennartson, B.

A2 - Fabian, M.

A2 - Akesson, K.

A2 - Giua, A.

A2 - Kumar, R.

PB - IEEE (Institute of Electrical and Electronics Engineers)

T2 - International Workshop on Discrete Event Systems

Y2 - 28 May 2008 through 30 May 2008

ER -