English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  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

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Bouyer, Patricia1, Author
Fahrenberg, Uli1, Author
Guldstrand Larsen, Kim1, Author
Markey, Nicolas1, Author
Ouaknine, Joël2, Author              
Worrell, James1, 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: 20182018
 Publication Status: Published in print
 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.1, Editor
Henzinger, Thomas A.1, Editor
Veith, Helmut1, Editor
Bloem, Roderick1, 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