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

Local TagsRelease HistoryDetailsSummary

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 Released

show all hide all

Basic

show hide

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

Genre: Book Chapter

Files

show Files

Locators

show

Creators

show

hide

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

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

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2018Date issued: 2018

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Bouyer2018
DOI: 10.1007/978-3-319-10575-8_29

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Handbook of Model Checking

Source Genre: Book

Creator(s):
Clarke, Edmund M.¹, Editor
Henzinger, Thomas A.¹, Editor
Veith, Helmut¹, Editor
Bloem, Roderick¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Cham : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 1001 - 1046 Identifier: ISBN: 978-3-319-10574-1