Tools for Model-Checking Timed Systems

Alexandre David; Jacob Illum Rasmussen; Kim Guldstrand Larsen; Gerd Behrmann; Peter Bulychev; Joakim Byg; Thomas Chatain; Paul Pettersson; Jiri Srba; Wang Yi; Kenneth Yrke Jørgensen; Didier Lime; Morgan Magnin; Olivier H. Roux; Louis-Marie Traonouez

Tools for Model-Checking Timed Systems

Alexandre David, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Gerd Behrmann, Peter Bulychev, Joakim Byg, Thomas Chatain, Paul Pettersson, Jiri Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez

Research output: Contribution to book/anthology/report/conference proceeding › Book chapter › Research › peer-review

Original language	English
Title of host publication	Communicating Embedded Systems for Computer Science
Editors	Olivier H. Roux, Claude Jard
Publisher	Wiley
Publication date	Oct 2009
Pages	165-225
ISBN (Print)	978-184821143-8, 1848211430
Publication status	Published - Oct 2009

AUB Link

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

Cite this

@inbook{55af47049a0a4e2d98229fea68b12178,

title = "Tools for Model-Checking Timed Systems",

author = "Alexandre David and Rasmussen, {Jacob Illum} and Larsen, {Kim Guldstrand} and Gerd Behrmann and Peter Bulychev and Joakim Byg and Thomas Chatain and Paul Pettersson and Jiri Srba and Wang Yi and J{\o}rgensen, {Kenneth Yrke} and Didier Lime and Morgan Magnin and Roux, {Olivier H.} and Louis-Marie Traonouez",

year = "2009",

month = oct,

language = "English",

isbn = "978-184821143-8",

pages = "165--225",

editor = "Roux, {Olivier H.} and Claude Jard",

booktitle = "Communicating Embedded Systems for Computer Science",

publisher = "Wiley",

address = "United Kingdom",

}

TY - CHAP

T1 - Tools for Model-Checking Timed Systems

AU - David, Alexandre

AU - Rasmussen, Jacob Illum

AU - Larsen, Kim Guldstrand

AU - Behrmann, Gerd

AU - Bulychev, Peter

AU - Byg, Joakim

AU - Chatain, Thomas

AU - Pettersson, Paul

AU - Srba, Jiri

AU - Yi, Wang

AU - Jørgensen, Kenneth Yrke

AU - Lime, Didier

AU - Magnin, Morgan

AU - Roux, Olivier H.

AU - Traonouez, Louis-Marie

PY - 2009/10

Y1 - 2009/10

M3 - Book chapter

SN - 978-184821143-8

SN - 1848211430

SP - 165

EP - 225

BT - Communicating Embedded Systems for Computer Science

A2 - Roux, Olivier H.

A2 - Jard, Claude

PB - Wiley

ER -