Model Checking Real-Time Systems

Bouyer, Patricia; Fahrenberg, Uli; Guldstrand Larsen, Kim; Markey, Nicolas; Ouaknine, Joël; Worrell, James

doi:10.1007/978-3-319-10575-8_29

Lokale TagsFreigabegeschichteDetailsÜbersicht

Model Checking Real-Time Systems

Bouyer, P., Fahrenberg, U., Guldstrand Larsen, K., Markey, N., Ouaknine, J., & Worrell, J. (2018). Model Checking Real-Time Systems. In E. M. Clarke, T. A. Henzinger, H. Veith, & R. Bloem (Eds.), Handbook of Model Checking (pp. 1001-1046). Cham: Springer. doi:10.1007/978-3-319-10575-8_29.

Item is Freigegeben

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:

Datensatz-Permalink: https://hdl.handle.net/21.11116/0000-0003-21A9-9 Versions-Permalink: https://hdl.handle.net/21.11116/0000-0003-21AA-8

Genre: Buchkapitel

ausblenden:

Urheber:
Bouyer, Patricia¹, Autor
Fahrenberg, Uli¹, Autor
Guldstrand Larsen, Kim¹, Autor
Markey, Nicolas¹, Autor
Ouaknine, Joël², Autor
Worrell, James¹, Autor

Affiliations:
1External Organizations, ou_persistent22
2Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society, ou_2541691