Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi 0001, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez. Tools for Model-Checking Timed Systems. In Claude Jard, Olivier H. Roux, editors, Communicating Embedded Systems. pages 165-225, Wiley, 2013. [doi]
@incollection{DavidBBBCLPRS0JLMRT13,
title = {Tools for Model-Checking Timed Systems},
author = {Alexandre David and Gerd Behrmann and Peter E. Bulychev and Joakim Byg and Thomas Chatain and Kim G. Larsen and Paul Pettersson and Jacob Illum Rasmussen and Jirí Srba and Wang Yi 0001 and Kenneth Yrke Jørgensen and Didier Lime and Morgan Magnin and Olivier H. Roux and Louis-Marie Traonouez},
year = {2013},
doi = {10.1002/9781118558188.ch6},
url = {https://doi.org/10.1002/9781118558188.ch6},
researchr = {https://researchr.org/publication/DavidBBBCLPRS0JLMRT13},
cites = {0},
citedby = {0},
pages = {165-225},
booktitle = {Communicating Embedded Systems},
editor = {Claude Jard and Olivier H. Roux},
publisher = {Wiley},
isbn = {978-1-84821-143-8},
}