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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

OriginalsprogEngelsk
TitelCommunicating Embedded Systems for Computer Science
RedaktørerOlivier H. Roux, Claude Jard
ForlagWiley
Publikationsdatookt. 2009
Sider165-225
ISBN (Trykt)978-184821143-8, 1848211430
StatusUdgivet - okt. 2009

Citer dette

David, A., Rasmussen, J. I., Larsen, K. G., Behrmann, G., Bulychev, P., Byg, J., ... Traonouez, L-M. (2009). Tools for Model-Checking Timed Systems. I O. H. Roux, & C. Jard (red.), Communicating Embedded Systems for Computer Science (s. 165-225). Wiley.
David, Alexandre ; Rasmussen, Jacob Illum ; Larsen, Kim Guldstrand ; Behrmann, Gerd ; Bulychev, Peter ; Byg, Joakim ; Chatain, Thomas ; Pettersson, Paul ; Srba, Jiri ; Yi, Wang ; Jørgensen, Kenneth Yrke ; Lime, Didier ; Magnin, Morgan ; Roux, Olivier H. ; Traonouez, Louis-Marie. / Tools for Model-Checking Timed Systems. Communicating Embedded Systems for Computer Science. red. / Olivier H. Roux ; Claude Jard. Wiley, 2009. s. 165-225
@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 = "10",
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",

}

David, A, Rasmussen, JI, Larsen, KG, Behrmann, G, Bulychev, P, Byg, J, Chatain, T, Pettersson, P, Srba, J, Yi, W, Jørgensen, KY, Lime, D, Magnin, M, Roux, OH & Traonouez, L-M 2009, Tools for Model-Checking Timed Systems. i OH Roux & C Jard (red), Communicating Embedded Systems for Computer Science. Wiley, s. 165-225.

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

Communicating Embedded Systems for Computer Science. red. / Olivier H. Roux; Claude Jard. Wiley, 2009. s. 165-225.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

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 -

David A, Rasmussen JI, Larsen KG, Behrmann G, Bulychev P, Byg J et al. Tools for Model-Checking Timed Systems. I Roux OH, Jard C, red., Communicating Embedded Systems for Computer Science. Wiley. 2009. s. 165-225