Model checking embedded and real time systems

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
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	International Workshop on Discrete Event Systems
Number	9
Country/Territory	Sweden
City	Göteborg
Period	28/05/2008 → 30/05/2008

AUB Link

@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",

address = "United States",

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

}

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

T2 - International Workshop on Discrete Event Systems

Y2 - 28 May 2008 through 30 May 2008

ER -